Theorem irreducible_pow_sup_of_ge

Modification history