HomeIsabelle/Phabricator
Diffusion afp-devel 92c2345bc9bd

updated the definition of scheme
92c2345bc9bd
Actions

Description

updated the definition of scheme

Details

Provenance
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com>Authored on
Parents
rAFP28e95145c4ac: merge from afp-2021-1
Branches
Unknown
Tags
Unknown

Event Timeline

Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFP92c2345bc9bd: updated the definition of scheme.Dec 15 2021, 1:57 PM

Changes (1)

PathSize
thys/
Grothendieck_Schemes/

rAFP92c2345bc9bd

View Options

thys/Grothendieck_Schemes/Scheme.thy

Loading...