Theorem isCyclic_right_of_prod

Modification history