Theorem LinearMap.compAlternatingMap_smul

Modification history