Commit 2021-05-30 15:26 33d803aa
View on Github →refactor(convex/basic): make convex_hull into a closure operator (#7446) Bundle convex_hull as a closure operator, simplify duplicate proofs
refactor(convex/basic): make convex_hull into a closure operator (#7446) Bundle convex_hull as a closure operator, simplify duplicate proofs