Theorem LinearMap.add_compAlternatingMap

Modification history