mathlib
36ee9aff - feat(topology/separation): `separation_quotient α` is a T₀ space (#15043)

Commit

3 years ago

feat(topology/separation): `separation_quotient α` is a T₀ space (#15043)

Author

urkud

urkud

Parents

Loading