Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-26 13:06 70e1f9a6

View on Github →

feat(data/fin): add_cases (#8876)

Estimated changes

added def fin.add_cases
added theorem fin.add_cases_left
added theorem fin.add_cases_right