topology): add `variables` block (#14369)

Commit

3 years ago

chore(set_theory/ordinal/topology): add `variables` block (#14369) We rename a bunch of variables, but don't fundamentally change any proof.

Author

vihdzp

Parents