Metamath Proof Explorer


Table of Contents - 20.31.48. The class equation