Theorem LinearMap.rank_comp_le_right

Modification history