Def Lean.Exception.isFailedToSynthesize

Modification history

2023-04-20 04:08

Mathlib/Lean/Exception.lean

fix: discard linarith wrong type equalities, style (#2611) …

Added Lean.Exception.isFailedToSynthesize View on Github →