Basic

📁 Source: Mathlib/Geometry/Polygon/Basic.lean

Statistics

Metric	Count
Definitions Polygon, boundary, edgePath, edgeSet, instCoeFunForallFin, vertices	6
Theorems edgeSet_eq_image_edgePath	1
Total	7

Polygon

Definitions

Name	Category	Theorems
boundary 📖	CompOp	—
edgePath 📖	CompOp	1 math math: edgeSet_eq_image_edgePath
edgeSet 📖	CompOp	1 math math: edgeSet_eq_image_edgePath
instCoeFunForallFin 📖	CompOp	—
vertices 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
edgeSet_eq_image_edgePath 📖	mathematical	—	edgeSet Set.image DFunLike.coe AffineMap Ring.toAddCommGroup Semiring.toModule Ring.toSemiring addGroupIsAddTorsor AddGroupWithOne.toAddGroup Ring.toAddGroupWithOne AffineMap.instFunLike edgePath Set.Icc PartialOrder.toPreorder MulZeroClass.toZero NonUnitalNonAssocSemiring.toMulZeroClass NonUnitalNonAssocRing.toNonUnitalNonAssocSemiring NonAssocRing.toNonUnitalNonAssocRing Ring.toNonAssocRing AddMonoidWithOne.toOne AddGroupWithOne.toAddMonoidWithOne	—	—

(root)

Definitions

Name	Category	Theorems
Polygon 📖	CompData	—

---

← Back to Index