mathlib3
aaad3d80 - Fixed theorem name
Commit
View On GitHub
Commit
3 years ago
Fixed theorem name
Author
vihdzp vihdzp
Parents
a1a81151
FAQ Terms Privacy Refunds Impressum
Loading