Theorem LinearMap.compAlternatingMap_zero

Modification history