Metamath Proof Explorer

Table of Contents - 21.5.2.38. Introduce ax-regs

  1. ax-regs
  2. axreg
  3. axregscl
  4. axregszf
  5. setindregs
  6. setinds2regs
  7. noinfepfnregs
  8. noinfepregs
  9. tz9.1regs
  10. unir1regs
  11. trssfir1omregs
  12. r1omhfbregs
  13. fineqvr1ombregs