HomeIsabelle/Phabricator

Even more material from the HOL Light metric space library