/src/Helium/Algebra/Ordered/StrictTotal/Properties/

• ../
• AbelianGroup.agda
• CommutativeRing.agda
• Group.agda
• Ring.agda