mathlib3
3bca0d89 - (trailing_)degree --> min/max_degree
Commit
View On GitHub
Commit
3 years ago
(trailing_)degree --> min/max_degree
Author
adomani adomani
Parents
5418975f
FAQ Terms Privacy Refunds Impressum
Loading