mathlib3
a75607f6 - Change names in encoding.lean
Commit
View On GitHub
Commit
4 years ago
Change names in encoding.lean
Author
prakol16 prakol16
Parents
9121f308
FAQ Terms Privacy Refunds Impressum
Loading