Def try?

Modification history

2023-01-17 11:01
Mathlib/Control/Basic.lean
feat: `interval_cases` tactic (#1155) …
Added try?View on Github →