mathlib
468c01c8 - chore(topology/*): add two missing simp coe lemmas (#4748)

Commit

5 years ago

chore(topology/*): add two missing simp coe lemmas (#4748)

References

#4925 - Make prime-avoidance branch build

Author

urkud

urkud

Parents

Loading