mathlib
ad46491b - This goal looks bad
Commit
View On GitHub
Commit
5 years ago
This goal looks bad
References
bad-goal
Author
jcommelin jcommelin
Parents
23c2b193
FAQ Terms Privacy Refunds Impressum
Loading