Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman Minkowski theorem
Changeset 63078:e49dc94eb624 by paulson _lp15@cam.ac.uk_:
Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman<br>Minkowski theorem
The file was addedsrc/HOL/Multivariate_Analysis/Polytope.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy (diff)
The file was modified src/HOL/ROOT (diff)