Metamath Proof Explorer


Syntax definition cfrlm

Description: Class of free module generator.

Ref Expression
Assertion cfrlm class freeLMod