← all areas

Namespace IsBaseChange 2 theorems

• Dual families extend along a base change IsBaseChange.exists_dual_comp_eq_algebraMap_and_sum_smul_eq 0 below · cited by 2 · depth 34
• Base change of a base change, compatibly with ψ IsBaseChange.exists_linearEquiv_tensor_of_algEquiv_tensor_of_isBaseChange 0 below · cited by 1 · depth 34