Theorem IsBaseChange.algHom_ext

Modification history