Quotients of a finite product of `O`-algebras by `(g)` and by `(g, e)` are the products of the componentwise quotients.

Initializing...

Quotients of a finite product of `O`-algebras by `(g)` and by `(g, e)` are the products of the componentwise quotients. · Prove2Me