Structure ConvexBody

Modification history

2023-08-10 19:52

Mathlib/Analysis/Convex/Body.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified ConvexBody View on Github →

2023-04-16 16:21

Mathlib/Analysis/Convex/Body.lean

feat: port Analysis.Convex.Body (#3431)

Added ConvexBody View on Github →