Theorem LinearMap.map_smulₛₗ₂

Modification history