Database
BASIC STRUCTURES
Extensible structures
Definition of the structure quotient
cqus
Next ⟩
cxps
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cqus
Description:
Quotient structure function.
Ref
Expression
Assertion
cqus
class
/
s