basic): golf a proof (#13289)

Commit

3 years ago

chore(topology/uniform_space/basic): golf a proof (#13289) Rewrite a proof using tactic mode and golf it.

Author

urkud

Parents