`(C/I) / e(C/I) ≃ C/(I + (e))` as `O`-modules, compatibly with the quotient maps. · Prove2Me

P

Initializing...

`(C/I) / e(C/I) ≃ C/(I + (e))` as `O`-modules, compatibly with the quotient maps. · Prove2Me