Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Predicate Calculus
Substitution (without distinct variables) - misc additions
Next ⟩
sbceqbidf
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 20.3.2.6. Substitution (without distinct variables) - misc additions
sbceqbidf
sbcies