Theorem IsBaseChange.rank_eq_of_le_nonZeroDivisors

Modification history