Theorem LinearMap.rank_comp_le

Modification history