Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Adrian Ducourtial
Clone theory
csuppos

Next ⟩ df-suppos

Metamath Proof Explorer

Unicode
Structured

Syntax definition csuppos

Description: Syntax for the function of superpositions.

		Ref	Expression
	Assertion	csuppos	class suppos