Theorem egauge_eq_zero_iff

Modification history

2024-11-15 06:41
Mathlib/Analysis/Convex/EGauge.lean
feat: define `IsLittleOTVS` (#9675) …
Added egauge_eq_zero_iffView on Github →