Theorem AdicCompletion.transitionMap_map_pow

Modification history

2024-07-11 16:02
Mathlib/RingTheory/AdicCompletion/Algebra.lean
chore(RingTheory/AdicCompletion): manual instances (#14534) …
Added AdicCompletion.transitionMap_map_powView on Github →