mathlib3
feat(analysis/convex): define convex hull
#1915
Merged
Overview
Commits
15
Changes
View On GitHub
Commits
  • feat(analysis/convex): define convex hull
    urkud committed 6 years ago
  • Merge branch 'master' into convex-hull
    urkud committed 6 years ago
  • Merge branch 'master' (early part) into convex-hull
    urkud committed 6 years ago
  • Merge branch 'master' into convex-hull
    urkud committed 6 years ago
  • Fix compile
    urkud committed 6 years ago
  • Drop an unused argument
    urkud committed 6 years ago
  • Split line
    urkud committed 6 years ago
  • Rename some `_iff`s, drop others
    urkud committed 6 years ago
  • Merge branch 'master' into convex-hull
    urkud committed 6 years ago
  • Mention `std_simplex` in the docs
    urkud committed 6 years ago
  • More docs
    urkud committed 6 years ago
  • Rename `α` to `ι`, other small fixes
    urkud committed 6 years ago
  • Use `range` instead of `f '' univ`
    urkud committed 6 years ago
  • More docs
    urkud committed 6 years ago
  • Merge branch 'master' into convex-hull
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading