Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (2)
Extensible structures - extension
Next ⟩
setsidel
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 20.43.6.22. Extensible structures - extension
setsidel
setsnidel
setsv