Theorem IsOfFinOrder.pow_eq_pow_iff_modEq

Modification history