feat(RingTheory/Kaehler): The exact sequence B ⊗[A] Ω[A⁄R] → Ω[B⁄R] → Ω[B⁄A] → 0. (#11925)
B ⊗[A] Ω[A⁄R] → Ω[B⁄R] → Ω[B⁄A] → 0