chore(number_theory/wilson): reduce imports - Githubissues

leanprover-community / mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

https://leanprover-community.github.io/lean3

Apache License 2.0

1.67k stars 297 forks source link

chore(number_theory/wilson): reduce imports #19173

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

semorrison commented 1 year ago

Closed, after merging with #19172