mathlib3
e4abcedc - chore(data/polynomial): rename type vars (#2483)

Commit

6 years ago

chore(data/polynomial): rename type vars (#2483) Rename `α` to `R` etc; use `ι` for index types No other changes

References

Author

urkud

Parents