Theorem IsBaseChange.finrank_eq

Modification history