Theorem AdicCompletion.map_val_apply

Modification history

2024-06-11 14:59

Mathlib/RingTheory/AdicCompletion/Functoriality.lean

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

Added AdicCompletion.map_val_apply View on Github →