csubg - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > csubg		Unicode version

Syntax Definition csubg 12958

Description: Extend class notation with all subgroups of a group.

**Assertion**
Ref	Expression
csubg	SubGrp

See definition df-subg 12961 for more information.

Colors of variables: wff set class