Def Lean.MVarId.subsingleton?

Modification history

2023-11-18 13:18
Mathlib/Lean/Meta.lean
chore: check exact? is fixed by leanprover/std4#368 (#8458) …
Deleted Lean.MVarId.subsingleton?View on Github →
2023-05-02 22:58
Mathlib/Lean/Meta.lean
feat: better display of partial results from library_search (#3743) …
Added Lean.MVarId.subsingleton?View on Github →