Commit 2025-03-02 10:28 3f72c0fe
View on Github →feat(Algebra): lemma about is AdicComplete local ring (#22429) Prove that if a ring is adic complete with respect to a maximal ideal then very element outside it is unit and it follows that the ring is a local ring (complete local ring).