mathlib3
4b71428d - doc(tactic/solve_by_elim): improve docs (#2696)

Commit

6 years ago

doc(tactic/solve_by_elim): improve docs (#2696) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

References

Author

kim-em

Parents