A residue basis family of a separated torsion-free module over a complete ring is a basis.

Initializing...

A residue basis family of a separated torsion-free module over a complete ring is a basis. · Prove2Me