Syntax definition clindf

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

	Ref	Expression
Assertion	clindf	class LIndF