Theorem isVisible_comm

Modification history

2025-04-28 14:59
Mathlib/Analysis/Convex/Visible.lean
chore(Analysis/Convex): drop unused arguments (#24392) …
Modified isVisible_commView on Github →
2024-11-05 21:39
Mathlib/Analysis/Convex/Visible.lean
feat(Convex): visibility through a set (#17928) …
Added isVisible_commView on Github →