-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathPolyhedral.lean
More file actions
83 lines (82 loc) · 5.72 KB
/
Copy pathPolyhedral.lean
File metadata and controls
83 lines (82 loc) · 5.72 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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
module -- shake: keep-all --deprecated_module: ignore
public import Polyhedral.Mathlib.Algebra.Group.Pointwise.SetLike.Basic
public import Polyhedral.Mathlib.Algebra.Group.Pointwise.SetLike.Scalar
public import Polyhedral.Mathlib.Algebra.Module.LinearMap
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Basic
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Dual.Basic
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Dual.DualClosed
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Dual.DualFinite
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Dual.Field
public import Polyhedral.Mathlib.Algebra.Module.Submodule.FG
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Hyperplane
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Map
public import Polyhedral.Mathlib.Algebra.Module.Submodule.Restrict
public import Polyhedral.Mathlib.Algebra.Module.Submodule.SubMulActionWithZero
public import Polyhedral.Mathlib.Algebra.Order.Nonneg.Ring
public import Polyhedral.Mathlib.Data.Finsupp.Basic
public import Polyhedral.Mathlib.Data.Finsupp.Option
public import Polyhedral.Mathlib.Data.Set.Lattice.Image
public import Polyhedral.Mathlib.Data.SetLike.IsConcrete
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Basic
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Convexity
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Dual
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.DualClosed
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.DualFinite
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Basic
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Dual
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Exposed
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Face.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Basic
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Basic
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Grade
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.KreinMilman
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.Face.Rank
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Finite.MinkowskiWeyl
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Lineal
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.LinearMap
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Rank
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Ray
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Relint
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.Restrict
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.SubMulActionWithZero
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.VPolyhedral.Basic
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.VPolyhedral.Faces
public import Polyhedral.Mathlib.Geometry.Convex.Cone.Pointed.VPolyhedral.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.AffineMap
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.AffineSpace
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Defs
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Homogenization
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Module
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Order
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polyhedron.Basic
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polyhedron.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Basic
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Face
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Homogenization
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Pointwise
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Prod
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Basic
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Face.Basic
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Face.Homogenization
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Face.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Homogenization
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Hull
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Lattice
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Set.Pointwise
public import Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.WithTop
public import Polyhedral.Mathlib.Geometry.Convex.Fun.Defs
public import Polyhedral.Mathlib.Geometry.Convex.Fun.Dual
public import Polyhedral.Mathlib.GroupTheory.GroupAction.SubMulActionWithZero
public import Polyhedral.Mathlib.GroupTheory.GroupAction.SubMulActionWithZero.Closure
public import Polyhedral.Mathlib.GroupTheory.GroupAction.SubMulActionWithZero.Nonneg
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.AffineMap
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.AffineSubspace.Basic
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Defs
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Homogenization.Basic
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Homogenization.Set
public import Polyhedral.Mathlib.LinearAlgebra.AffineSpace.Lattice
public import Polyhedral.Mathlib.LinearAlgebra.BilinearMap
public import Polyhedral.Mathlib.LinearAlgebra.Dual.Basis
public import Polyhedral.Mathlib.RingTheory.Finiteness.Cofinite
public import Polyhedral.Mathlib.RingTheory.Finiteness.Corank