Database
BASIC STRUCTURES
Extensible structures
Definition of the structure quotient
cxps
Next ⟩
df-qtop
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cxps
Description:
Binary product structure function.
Ref
Expression
Assertion
cxps
class
×
s