mathlib
ad2baee4 - feat(topology/separation): `t0_space` and `t1_space` for `α × β` and `Π i, α i` (#14418)

Commit

3 years ago

feat(topology/separation): `t0_space` and `t1_space` for `α × β` and `Π i, α i` (#14418)

Author

urkud

Parents