Metamath Proof Explorer


Syntax definition cqus

Description: Quotient structure function.

Ref Expression
Assertion cqus
class /s