mathlib
e0f3ea31 - feat(topology/constructions): add `subtype.dense_iff` (#14632)

Commit

3 years ago

feat(topology/constructions): add `subtype.dense_iff` (#14632) Also add `inducing.dense_iff`.

Author

urkud

Parents