mathlib
33d803aa - refactor(convex/basic): make convex_hull into a closure operator (#7446)

Commit

4 years ago

refactor(convex/basic): make convex_hull into a closure operator (#7446) Bundle convex_hull as a closure operator, simplify duplicate proofs

Author

YaelDillies

Parents