Theorem LinearMap.rank_finset_sum_le

Modification history