mathlib
76ac24c0 - git ls-files | xargs sed -i 's/\bhaveI\b/letI/g'
Commit
View On GitHub
Commit
3 years ago
git ls-files | xargs sed -i 's/\bhaveI\b/letI/g'
Author
adomani adomani
Parents
972aa423
FAQ Terms Privacy Refunds Impressum
Loading