Theorem IsBaseChange.finrank_eq_of_le_nonZeroDivisors

Modification history