mathlib3
94bb4667 - feat(tactic/fin_cases): document `fin_cases with` and add `fin_cases using` (#11085)

Commit

4 years ago

feat(tactic/fin_cases): document `fin_cases with` and add `fin_cases using` (#11085) Closes #11016 Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents