mathlib3
30663881
- simplify, and add a bit more documentation
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
simplify, and add a bit more documentation
References
#17958 - fix(tactic/tauto) fix some bugs in symm_eq
Author
dwrensha
Committer
dwrensha
Parents
77823910
Loading