Theorem LinearMap.restrict_smul_one

Modification history