Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Adrian Ducourtial
Clone theory
csuppos
Next ⟩
df-suppos
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
csuppos
Description:
Syntax for the function of superpositions.
Ref
Expression
Assertion
csuppos
class
suppos