mathlib
371b4143 - chore(algebra/divisibility): golf (#16327)

Commit

3 years ago

chore(algebra/divisibility): golf (#16327)

References

Author

astrainfinita

astrainfinita

Parents

Loading