Def Lean.Name.isPrefixOf?

Modification history

2023-02-04 00:58
Mathlib/Lean/Expr/Basic.lean
fix: interaction between to_additive and rewriting definitions (#1948)
Added Lean.Name.isPrefixOf?View on Github →