mathlib3
25386262 - fix(tactic/ring): instantiate metavariables (#10589)

Commit

4 years ago

fix(tactic/ring): instantiate metavariables (#10589) Fixes the issue reported in #10572. - [x] depends on: #10572

Author

digama0

Parents