Def alg_equiv.of_alg_hom

Modification history