mathlib
d267b6ca - chore(topology): add 2 missing `inhabited` instances (#10446)

Commit

4 years ago

chore(topology): add 2 missing `inhabited` instances (#10446) Also add an instance from `discrete_topology` to `topological_ring`.

Author

urkud

Parents