mathlib3
257d1b7c - feat(*): preparations for Caratheodory's convexity theorem (#3030)

Commit

5 years ago

feat(*): preparations for Caratheodory's convexity theorem (#3030)

Author

jcommelin

jcommelin

Parents

Loading