Diffusion afp-devel 068d4f8c4523

adjust Euler_Polyhedron_Formula to AFP-devel
068d4f8c4523
Actions

Tags

None

Subscribers

None

Description

adjust Euler_Polyhedron_Formula to AFP-devel

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFPc984814c0dae: merge from AFP 2023

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP068d4f8c4523: adjust Euler_Polyhedron_Formula to AFP-devel.Sep 22 2023, 2:05 PM

Changes (2)

Path

Size

thys/

Euler_Polyhedron_Formula/

Inclusion_Exclusion.thy

Library_Extras.thy

rAFP068d4f8c4523

thys/Euler_Polyhedron_Formula/Inclusion_Exclusion.thy

Loading...

thys/Euler_Polyhedron_Formula/Library_Extras.thy

Loading...