top: add \coursehref command
top: define discrete metric space
top: reference some exercises
top: closed sets, equivalent statement
top: miscellaneous changes