mathlib
574dac55 - feat(tactic/interval_cases): add `with h` option (#3353)

Commit

6 years ago

feat(tactic/interval_cases): add `with h` option (#3353) closes #2881

Author

shingtaklam1324

shingtaklam1324

Parents

Loading