mathlib3
8e4b3b0f - chore(data/polynomial/field_division): beta-reduce (#10835)

Commit

4 years ago

chore(data/polynomial/field_division): beta-reduce (#10835)

Author

gebner

gebner

Parents

Loading