mathlib
46444478 - fix(tactic/norm_cast): assumption_mod_cast should only work on one goal (#8649)

Commit

4 years ago

fix(tactic/norm_cast): assumption_mod_cast should only work on one goal (#8649) fixes #8438 Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents