HomeIsabelle/Phabricator

Moved in a large number of highly useful library lemmas, mostly due to Manuel…

Description

Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rISABELLE5bf9a1b78f93: text correction
Branches
Unknown
Tags
Unknown