Mathlib v3 is deprecated. Go to Mathlib v4

Def name.map_prefix

Modification history

2019-08-21 05:42
src/meta/expr.lean
refactor(*): rewrite `to_additive` attribute (#1345) …
Added name.map_prefixView on Github →