Theorem IsBaseChange.lift_rank_eq

Modification history