Metamath Proof Explorer


Syntax definition cclm

Description: Syntax for the class of subcomplex modules.

Ref Expression
Assertion cclm class ℂMod