Theorem LinearMap.ker_le_range_iff

Modification history