Theorem lift_rank_lt_rank_dual

Modification history