Theorem LinearMap.map_smul₂

Modification history