intervals): more properties of intervals
#1753

Merged

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

mergify merged 8 commits into leanprover-community:master from sgouezel:intervals

feat(data/set/intervals): more properties of intervals

b4c941cd

fix docstrings

57f2dd5a

blank space

fbc2fff9

sgouezel added awaiting-review

robertylewis commented on 2019-12-01

Merge branch 'master' into intervals

d954e159

iff versions

254410cb

fix docstring

904c19f6

robertylewis approved these changes on 2019-12-02

PatrickMassot commented on 2019-12-02

more details in docstrings

fac5437d

PatrickMassot removed awaiting-review

PatrickMassot added ready-to-merge

Merge branch 'master' into intervals

70469383

mergify merged c43b3329 into master 6 years ago

sgouezel deleted the intervals branch 5 years ago

Reviewers

robertylewis

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone