Theorem lift_rank_range_le

Modification history