Theorem lift_rank_map_le

Modification history