Metamath Proof Explorer


Syntax definition clindf

Description: The class relationship of independent families in a module.

Ref Expression
Assertion clindf
class LIndF