mathlib3
c446f8ac - replace name degree --> max_degree
Commit
View On GitHub
Commit
2 years ago
replace name degree --> max_degree
Author
adomani adomani
Committer
adomani adomani
Parents
5d672027
FAQ Terms Privacy Refunds Impressum
Loading