HomeIsabelle/Phabricator
Diffusion afp-devel c91e67482c60

new entry: Khovanski-Theorem
c91e67482c60
Actions

Description

new entry: Khovanski-Theorem

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP4b1af6f3fd24: fixed metadata for Hales_Jewett
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPc91e67482c60: new entry: Khovanski-Theorem.Sep 7 2022, 3:07 PM

Changes (10)

PathSize

rAFPc91e67482c60

View Options

thys/Khovanskii_Theorem/FiniteProduct.thy

Loading...
View Options

thys/Khovanskii_Theorem/For_2022.thy

Loading...
View Options

thys/Khovanskii_Theorem/Khovanskii.thy

Loading...
View Options

thys/Khovanskii_Theorem/ROOT

Loading...
View Options

thys/Khovanskii_Theorem/document/root.bib

Loading...
View Options

thys/Khovanskii_Theorem/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...