aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Cyclic/Abstract
ModeNameSize
-rw-r--r--CyclicAxioms.v12256logplain
-rw-r--r--NZCyclic.v7497logplain