# Commit 2022-09-20 14:59 b7cc093e

View on Github →chore(topology/constructions): use `variables`

(#16562)
Also move `continuous_pi_iff`

up and golf its proof.

chore(topology/constructions): use `variables`

(#16562)
Also move `continuous_pi_iff`

up and golf its proof.