Theorem Module.AEval.annihilator_eq_ker_aeval

Modification history