mathlib
b7d056a1 - feat(tactic/zify): move nat propositions to int (#3108)

Commit

6 years ago

feat(tactic/zify): move nat propositions to int (#3108) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents