Theorem LinearMap.smul_compAlternatingMap

Modification history