Theorem lift_rank_range_of_injective

Modification history