Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Predicate Calculus
Restricted iota (description binder)
Next ⟩
riotaeqbidva
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 21.3.2.10. Restricted iota (description binder)
riotaeqbidva