Chinese remainder theorem: `A` modulo the finitely supported kernel is the product of the completed local quotients.

Initializing...

Chinese remainder theorem: `A` modulo the finitely supported kernel is the product of the completed local quotients. · Prove2Me