Theorem AdicCompletion.algebraMap_apply

Modification history

2026-03-04 10:55
Mathlib/RingTheory/AdicCompletion/Algebra.lean
feat(RingTheory): add some easy lemmas (#35789) …
Added AdicCompletion.algebraMap_applyView on Github →