Metamath Proof Explorer

Syntax definition cqg

Description: Quotient group equivalence class.

Ref Expression
Assertion cqg 
class ~QG