Theorem IsHausdorff.map_algebraMap_iff

Modification history

2026-03-25 23:27
Mathlib/RingTheory/AdicCompletion/Basic.lean
feat(RingTheory/AdicCompletion): completeness of `AdicCompletion` (#35670) …
Modified IsHausdorff.map_algebraMap_iffView on Github →
2025-12-11 08:08
Mathlib/RingTheory/AdicCompletion/Basic.lean
feat(RingTheory/Perfectoid): Fontaine's theta map is surjective (#26384) …
Added IsHausdorff.map_algebraMap_iffView on Github →