Theorem LinearMap.compAlternatingMap_codRestrict

Modification history