Theorem IsBaseChange.rank_eq

Modification history