Theorem Algebra.lsmul_injective

Modification history