Theorem IsCyclic.exists_monoid_generator

Modification history