The map from `A` to the product of finite-colength completed local quotients is surjective.

Initializing...

The map from `A` to the product of finite-colength completed local quotients is surjective. · Prove2Me