Theorem convex_of_nonneg_surjective_algebraMap

Modification history

2025-10-02 18:14
Mathlib/Analysis/Convex/Basic.lean
feature(Analysis/Convex/Basic): Convexity and the algebra map (#29248) …
Added convex_of_nonneg_surjective_algebraMapView on Github →