Theorem LinearMap.ker_compLeft

Modification history