Theorem uniform_space.completion.coe_one
Modification history
2020-04-16 08:33
src/topology/algebra/uniform_ring.lean
refactor(tactic/norm_cast): simplified attributes and numeral support (#2407) …
Modified uniform_space.completion.coe_oneView on Github →