Theorem AdicCompletion.map_comp

Modification history

2024-06-11 14:59

Mathlib/RingTheory/AdicCompletion/Functoriality.lean

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

Added AdicCompletion.map_comp View on Github →