mathlib3
dc53ac63 - Fix renamed lemmas
Commit
View On GitHub
Commit
5 years ago
Fix renamed lemmas
Author
Vierkantor Vierkantor
Committer
Vierkantor Vierkantor
Parents
968e4fd3
FAQ Terms Privacy Refunds Impressum
Loading