mathlib
c10fa224 - use replace_goal to avoid creating metavariable issues

Commit

3 years ago

use replace_goal to avoid creating metavariable issues

Author

eric-wieser

eric-wieser

Parents

Loading