Theorem IsVisible.rfl

Modification history

2025-04-28 14:59

Mathlib/Analysis/Convex/Visible.lean

chore(Analysis/Convex): drop unused arguments (#24392) …

Modified IsVisible.rfl View on Github →

2024-11-05 21:39

Mathlib/Analysis/Convex/Visible.lean

feat(Convex): visibility through a set (#17928) …

Added IsVisible.rfl View on Github →