Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Alternative definitions of function and operation values
The universal class (extension)
Next ⟩
nvelim
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 21.50.4.8. The universal class (extension)
nvelim