Theorem Monoid.ExponentExists.orderOf_pos

Modification history