Def convexAddSubmonoid

Modification history

2025-05-02 23:00

Mathlib/Analysis/Convex/Basic.lean

chore: bump toolchain to v4.20.0-rc2 (#24561)

Deleted convexAddSubmonoid View on Github →

2023-07-16 11:34

Mathlib/Analysis/Convex/Basic.lean

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

Added convexAddSubmonoid View on Github →