Theorem AdicCompletion.isAdicComplete

Modification history

2026-03-25 23:27

Mathlib/RingTheory/AdicCompletion/Completeness.lean

feat(RingTheory/AdicCompletion): completeness of `AdicCompletion` (#35670) …

Added AdicCompletion.isAdicComplete View on Github →