mathlib
b7cc093e - chore(topology/constructions): use `variables` (#16562)

Commit

3 years ago

chore(topology/constructions): use `variables` (#16562) Also move `continuous_pi_iff` up and golf its proof.

Author

urkud

Parents