Metamath Proof Explorer

Table of Contents - 21.20.5.4. The nonfreeness quantifier for classes

In this section, we prove the symmetry of the nonfreeness quantifier for classes.

1. bj-nfcsym