Def successIfFail

Modification history

2024-07-19 05:13

Mathlib/Lean/Exception.lean

chore(Mathlib/Lean): remove use of autoImplicit (#14884) …

Modified successIfFail View on Github →

2022-05-11 23:41

Mathlib/Lean/Exception.lean

feat: `to_additive` (#234) …

Added successIfFail View on Github →