mathlib3
3b04f48c - feat(number_theory/fermat4): golf using `linear_combination` (#13211)

Commit

3 years ago

feat(number_theory/fermat4): golf using `linear_combination` (#13211)

Author

hrmacbeth

hrmacbeth

Parents

Loading