Theorem AdicCompletion.lift_add

Modification history

2026-08-17 11:47
Mathlib/RingTheory/AdicCompletion/Basic.lean
chore(RingTheory/AdicCompletion): make `AdicCompletion.map` linear on linear maps (#38324) …
Added AdicCompletion.lift_addView on Github →