Database
BASIC LINEAR ALGEBRA
Vectors and free modules
Free modules
cfrlm
Next ⟩
df-frlm
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfrlm
Description:
Class of free module generator.
Ref
Expression
Assertion
cfrlm
class
freeLMod