uniform_convergence): Golf some proofs (#11561)

Commit

4 years ago

chore(topology/uniform_space/uniform_convergence): Golf some proofs (#11561) This PR golfs a couple proofs.

Author

tb65536

Parents