mathlib
5b5ff790 - fix(tactic/delta_instance): bug in computing pi arity (#3127)

Commit

5 years ago

fix(tactic/delta_instance): bug in computing pi arity (#3127) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents