/theories/Numbers/Cyclic/Abstract/
../
CyclicAxioms.v
NZCyclic.v