Theorem LinearMap.ker_prod

Modification history