mathlib3
98e8d557 - fix(topology/algebra/uniform_mul_action): remove duplicate typeclasses (#17063)

Commit

3 years ago

fix(topology/algebra/uniform_mul_action): remove duplicate typeclasses (#17063)

Author

ocfnash

ocfnash

Parents

Loading