Theorem QuasiconvexOn.convex

Modification history

2025-12-08 05:19

Mathlib/Analysis/Convex/Quasiconvex.lean

refactor: make `abbrev`s for `IsDirected α (· ≤ ·)` and `IsDirected α (· ≥ ·)` (#32462) …

Modified QuasiconvexOn.convex View on Github →

2023-04-12 19:26

Mathlib/Analysis/Convex/Quasiconvex.lean

feat: port Analysis.Convex.Quasiconvex (#3412)

Added QuasiconvexOn.convex View on Github →