Theorem pow_eq_mod_orderOf

Modification history