Theorem AdicCompletion.mem_maximalIdeal_iff_eval_one_eq_zero

Modification history

2026-05-31 18:17
Mathlib/RingTheory/AdicCompletion/LocalRing.lean
feat(RingTheory): AdicCompletion of local ring is local (#37975) …
Added AdicCompletion.mem_maximalIdeal_iff_eval_one_eq_zeroView on Github →