Theorem LinearMap.ker_le_ker_of_range

Modification history