Mathlib v3 is deprecated. Go to Mathlib v4

Def name.append_to_last

Modification history

2021-05-26 08:25
src/meta/expr.lean
feat(tactic/simps): implement prefix names (#7596) …
Added name.append_to_lastView on Github →