∀ (A : Type u_2) (B : Type u_1) [inst : CommRing A] [inst_1 : CommRing B] [inst_2 : Algebra A B] [inst_3 : IsDomain B]
  [IsIntegrallyClosed B] [Algebra.IsIntegral A B], IsIntegralClosure B A (FractionRing B)