Theorem LinearMap.compAlternatingMap_add

Modification history