Theorem LinearMap.map_mul_of_map_mul_tmul

Modification history