forked from ooovi/Polyhedral
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathPolyhedral.lean
More file actions
57 lines (57 loc) · 3.55 KB
/
Copy pathPolyhedral.lean
File metadata and controls
57 lines (57 loc) · 3.55 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
import Polyhedral.Mathlib.Algebra.Group.Pointwise.SetLike.Basic
import Polyhedral.Mathlib.Algebra.Group.Pointwise.SetLike.Scalar
import Polyhedral.Mathlib.Algebra.Module.Submodule.Basic
import Polyhedral.Mathlib.Algebra.Module.Submodule.Dual
import Polyhedral.Mathlib.Algebra.Module.Submodule.DualClosed
import Polyhedral.Mathlib.Algebra.Module.Submodule.DualFinite
import Polyhedral.Mathlib.Algebra.Module.Submodule.FG
import Polyhedral.Mathlib.Algebra.Module.Submodule.Hyperplane
import Polyhedral.Mathlib.Algebra.Module.Submodule.Quotient
import Polyhedral.Mathlib.Algebra.Module.Submodule.Restrict
import Polyhedral.Mathlib.Data.SetLike.IsConcrete
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Basic
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Convexity
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Dual
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.DualFinite
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Basic
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Dual
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Exposed
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Lattice
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Basic
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Basic
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Grade
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.KreinMilman
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Rank
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.MinkowskiWeyl
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Halfspace
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Lineal
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.LinearMap
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Pointwise
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Rank
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Ray
import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Relint
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.AffineSpace
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Module
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Basic
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Face
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Homogenization
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Lattice
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Pointwise
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Basic
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Face.Basic
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Face.Homogenization
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Homogenization
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Hull
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Lattice
import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Pointwise
import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.AffineMap
import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Defs
import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Homogenization.Basic
import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Homogenization.Canonical
import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Lattice
import Polyhedral.Mathlib.LinearAlgebra.BilinearMap
import Polyhedral.Mathlib.LinearAlgebra.Dual.Basis
import Polyhedral.Mathlib.RingTheory.Finiteness.Cofinite
import Polyhedral.Mathlib.RingTheory.Finiteness.Corank
import Polyhedral.Polyhedral.Basic
import Polyhedral.Polyhedral.Faces