Theorem UniformSpace.Completion.toAddMonoidHom_toComplL

Modification history

2026-08-12 18:02
Mathlib/Topology/Algebra/LinearMapCompletion.lean
chore(Topology/Algebra/LinearMapCompletion): generalize `UniformSpace.Completion.toComplL` (#41740) …
Added UniformSpace.Completion.toAddMonoidHom_toComplLView on Github →