golf lemmas about `sigma` (#16571)

Commit

3 years ago

feat(topology/constructions): add/golf lemmas about `sigma` (#16571) * add some `iff` lemmas; * golf some proofs.

Author

urkud

Parents