Metamath Proof Explorer


Syntax definition clinds

Description: The class generator of independent sets in a module.

Ref Expression
Assertion clinds class LIndS