Jun2MMasterDiss

Proving the main theorem of polytopes using Lean 4
No README.md in repository.