Metamath Proof Explorer

Syntax definition cqus

Description: Quotient structure function.

Ref Expression
Assertion cqus 
class /s