mathlib
33764abc - chore(tactic/transport): rename to transform_decl (#2308)

Commit
6 years ago
chore(tactic/transport): rename to transform_decl (#2308) * chore(tactic/transport): rename to transform_decl * satisfying the linter * oops, wrong comment format Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading