mathlib
48cffc51 - 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

Committer

b-mehta

Parents