If `alpha f = e ^ d * g`, then `h ↦ c * alpha h` descends to an `O`-linear map `R ⧸ (f) → C ⧸ (g)`.

Initializing...

If `alpha f = e ^ d * g`, then `h ↦ c * alpha h` descends to an `O`-linear map `R ⧸ (f) → C ⧸ (g)`. · Prove2Me