mathlib3
feat(data/set/intervals): more properties of intervals
#1753
Merged

Commits
  • feat(data/set/intervals): more properties of intervals
    sgouezel committed 6 years ago
  • fix docstrings
    sgouezel committed 6 years ago
  • blank space
    sgouezel committed 6 years ago
  • Merge branch 'master' into intervals
    sgouezel committed 6 years ago
  • iff versions
    sgouezel committed 6 years ago
  • fix docstring
    sgouezel committed 6 years ago
  • more details in docstrings
    sgouezel committed 6 years ago
  • Merge branch 'master' into intervals
    mergify[bot] committed 6 years ago
Loading