Theorem Ideal.annihilator_quotient

Modification history