Theorem LinearMap.ker_prodMap

Modification history