mathlib
96667b51 - chore(number_theory/*): Weaken assumptions (#13443)

Commit

3 years ago

chore(number_theory/*): Weaken assumptions (#13443) Follow @alexjbest's generalization linter to weaken typeclass assumptions in number theory.

Author

YaelDillies

Parents