Theorem LinearEquiv.annihilator_eq

Modification history