Metamath Proof Explorer


Table of Contents - 20.43.6.19. The modulo (remainder) operation - extension

  1. m1mod0mod1
  2. elmod2