Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-13 03:05 9ea93241

View on Github →

fix(category/basic): change "try" to "mtry"

Estimated changes

added def mtry
deleted def try