mathlib3
0d6eb049 - feat(tactic/library_search): use apply' instead of apply

Commit

3 years ago

feat(tactic/library_search): use apply' instead of apply

References

alexjbest/apply-library

Author

alexjbest

alexjbest

Parents

Loading