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