mathlib3
58cd9502
- fix an add_edge
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
fix an add_edge
References
#17958 - fix(tactic/tauto) fix some bugs in symm_eq
Author
dwrensha
Committer
dwrensha
Parents
30663881
Loading
