Metamath Proof Explorer


Table of Contents - 21.3.8.2. The opposite group

  1. oppgle
  2. oppgleOLD
  3. oppglt