Theorem LinearMap.ker_tensorProductMk

Modification history