Theorem IsBaseChange.alg_hom_ext

Modification history