Theorem LinearMap.rank_le_domain

Modification history