Theorem ConvexCone.coe_map

Modification history

2025-06-19 10:04
Mathlib/Geometry/Convex/Cone/Basic.lean
chore(Geometry/Convex/Cone): clean up (#25291) …
Modified ConvexCone.coe_mapView on Github →
2025-05-29 03:47
Mathlib/Geometry/Convex/Cone/Basic.lean
chore(Geometry/Convex/Cone/Basic): rename variables (#25252) …
Modified ConvexCone.coe_mapView on Github →
2023-09-29 03:32
Mathlib/Analysis/Convex/Cone/Basic.lean
feat(Analysis): define pointed cones (#6437) …
Added ConvexCone.coe_mapView on Github →