Commit 2023-07-16 11:34 45eb7f26

View on Github →

chore: forward-port leanprover-community/mathlib#18943 (#5854)

Estimated changes

added theorem coe_convexAddSubmonoid
added theorem convex_list_sum
added theorem convex_multiset_sum
added theorem convex_sum
added theorem convex_zero
added theorem mem_convexAddSubmonoid
added theorem convexHull_list_sum
added theorem convexHull_sum
added theorem convexHull_zero