Theorem irreducible_pow_sup_of_le

Modification history