Metamath Proof Explorer


Table of Contents - 21.3.5.9. The ` # ` (set size) function - misc additions

  1. hashunif
  2. hashxpe
  3. hashgt1
  4. hashpss
  5. hashne0