mathlib

13aa2b3b - Protect `coe_` lemmas for `uniform_space.completion`