aboutsummaryrefslogtreecommitdiff
path: root/src/Algebra
ModeNameSize
-rw-r--r--Field.v14136logplain
-rw-r--r--Field_test.v3887logplain
-rw-r--r--Group.v7844logplain
-rw-r--r--Hierarchy.v6131logplain
-rw-r--r--IntegralDomain.v8200logplain
-rw-r--r--Monoid.v3020logplain
-rw-r--r--Nsatz.v6511logplain
-rw-r--r--Ring.v18494logplain
-rw-r--r--ScalarMult.v7553logplain
-rw-r--r--SubsetoidRing.v7466logplain