Theorem LinearMap.rank_add_le

Modification history