HomeIsabelle/Phabricator

Revisions by Wenda to eliminate the locale comp_affine_scheme

Description

Revisions by Wenda to eliminate the locale comp_affine_scheme

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP7d686b4e8472: renamed a lemma
Branches
Unknown
Tags
Unknown