Theorem LinearMap.lift_rank_comp_le

Modification history