Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
First-order logic
Universal and existential quantifiers, nonfreeness predicate
Next ⟩
bj-exexalal
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 21.20.4.1. Universal and existential quantifiers, nonfreeness predicate
bj-exexalal