simp only [fastReplaceFree]
case def_
a✝¹ : DefName
a✝ : List VarName
⊢ fastReplaceFree id (def_ a✝¹ a✝) = def_ a✝¹ a✝
case def_
a✝¹ : DefName
a✝ : List VarName
⊢ def_ a✝¹ (List.map id a✝) = def_ a✝¹ a✝