mathlib
40a2d5ff - Update concrete.lean
Commit
View On GitHub
Commit
3 years ago
Update concrete.lean
Author
vihdzp vihdzp
Parents
530198b8
FAQ Terms Privacy Refunds Impressum
Loading