mathlib3
feat(analysis/convex): define convex hull
#1915
Merged
Overview
Commits
15
Changes
View On GitHub

feat(analysis/convex): define convex hull #1915

mergify merged 15 commits into master from convex-hull
urkud
urkud feat(analysis/convex): define convex hull
0eea6543
urkud Merge branch 'master' into convex-hull
1035d1af
sgouezel
cipher1024 cipher1024 assigned sgouezel sgouezel 6 years ago
urkud Merge branch 'master' (early part) into convex-hull
3e8396d6
urkud Merge branch 'master' into convex-hull
bf0e0f51
urkud
urkud Fix compile
c3fbcf70
urkud Drop an unused argument
d371db8b
urkud urkud added awaiting-review
sgouezel
sgouezel commented on 2020-01-29
urkud urkud removed awaiting-review
urkud urkud added awaiting-author
urkud Split line
66b49a97
urkud Rename some `_iff`s, drop others
ca4213ab
urkud Merge branch 'master' into convex-hull
da6f7a23
urkud Mention `std_simplex` in the docs
4ff47ee2
urkud More docs
78417820
urkud Rename `α` to `ι`, other small fixes
34ba65de
urkud Use `range` instead of `f '' univ`
d6e7c0fa
urkud More docs
f3b33a59
urkud urkud removed awaiting-author
urkud urkud added awaiting-review
urkud
sgouezel
sgouezel approved these changes on 2020-01-31
sgouezel sgouezel removed awaiting-review
sgouezel sgouezel added ready-to-merge
mergify[bot] Merge branch 'master' into convex-hull
7b8c4eb7
mergify mergify merged a8ba81b3 into master 6 years ago
mergify mergify deleted the convex-hull branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum