mathlib
874ea215
- going with chou formalization. added theorems about sym2 (thanks to david wärn)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
going with chou formalization. added theorems about sym2 (thanks to david wärn)
Author
kmill
Committer
kmill
Parents
de10f35d
Loading
mathlib
874ea215 - going with chou formalization. added theorems about sym2 (thanks to david wärn)
