Theorem MixedCharZero.reduce_to_maximal_ideal

Modification history