Metamath Proof Explorer


Table of Contents - 20.43.18.1. Subcategories (extension)

  1. idfusubc0
  2. idfusubc
  3. inclfusubc