HomeIsabelle/Phabricator

Minor updates supplied by the author, mostly connected with a reference to a…

Description

Minor updates supplied by the author, mostly connected with a reference to a work by Hilbert, now deleted.