Theorem LinearMap.ker_le_comap

Modification history