∀ {A : Type u_3} (K : Type u_4) (L : Type u_2) {B : Type u_1} [inst : CommRing A] [inst_1 : CommRing B]
  [inst_2 : Algebra A B] [inst_3 : Field K] [inst_4 : Field L] [inst_5 : Algebra A K] [IsFractionRing A K]
  [inst_7 : Algebra K L] [inst_8 : Algebra A L] [IsScalarTower A K L] [inst_10 : Algebra B L] [IsScalarTower A B L]
  [IsIntegralClosure B A L] [Algebra.IsAlgebraic K L],
  IsLocalization (Algebra.algebraMapSubmonoid B (nonZeroDivisors A)) L