Theorem IsOfFinOrder.pow_inj_mod

Modification history