mathlib
c590a232 - chore(number_theory/wilson): trivial strengthening (#16008)

Commit

3 years ago

chore(number_theory/wilson): trivial strengthening (#16008)

Author

ericrbg

ericrbg

Parents

Loading