Theorem LinearMap.annihilator_le_of_injective

Modification history