mathlib3
11de8674 - feat(data/fin/interval): add lemmas (#11102)

Commit

4 years ago

feat(data/fin/interval): add lemmas (#11102) From flt-regular.

Author

riccardobrasca

riccardobrasca

Parents

Loading