aboutsummaryrefslogtreecommitdiff
path: root/src/Algebra
ModeNameSize
-rw-r--r--Field.v14117logplain
-rw-r--r--Field_test.v3804logplain
-rw-r--r--Group.v9054logplain
-rw-r--r--Hierarchy.v6095logplain
-rw-r--r--IntegralDomain.v8200logplain
-rw-r--r--Monoid.v2125logplain
-rw-r--r--Nsatz.v6511logplain
-rw-r--r--Ring.v18196logplain
-rw-r--r--ScalarMult.v3717logplain