Theorem AdicCompletion.sumInv_apply

Modification history

2024-06-11 14:59

Mathlib/RingTheory/AdicCompletion/Functoriality.lean

feat(RingTheory/AdicCompletion): functoriality (#12543) …

Added AdicCompletion.sumInv_apply View on Github →