Metamath Proof Explorer


Table of Contents - 21.35.48. The class equation