mathlib3
ac4ea7ac - chore(number_theory/divisors): golf 2 proofs (#17429)
Commit
View On GitHub
Commit
3 years ago
chore(number_theory/divisors): golf 2 proofs (#17429)
Author
urkud urkud
Parents
9619aca9
FAQ Terms Privacy Refunds Impressum
Loading