Metamath Proof Explorer


Table of Contents - 20.43.4.8. The universal class (extension)

  1. nvelim