Theorem algebraicClosure.comap_eq_of_algHom

Modification history