HomeIsabelle/Phabricator

Fixed some typos in Furstenberg_Topology