Theorem Monoid.ExponentExists.isOfFinOrder

Modification history