Theorem Ideal.LinearEquiv.annihilator_eq

Modification history