Theorem IsBaseChange.lift_rank_eq_of_le_nonZeroDivisors

Modification history