mathlib
54c97e6d - Proved `dvd_iff_mod_eq_zero`

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

4 years ago

Proved `dvd_iff_mod_eq_zero`

Author

vihdzp

vihdzp

Parents

FAQ Terms Privacy Refunds Impressum

Loading