P
Initializing...
Adic congruences in an `O`-algebra are compatible with multiplication. · Prove2Me