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