Theorem LinearMap.lsmul_injective

Modification history