Theorem LinearMap.rank_le_range

Modification history