Theorem LinearMap.lsmul_apply

Modification history