Syntax definition clindf

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

	Ref	Expression
Assertion	clindf	$$class\mathrm{LIndF}$$