Theorem irreducible_pow_sup

Modification history