Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-21 00:59 3fc6fbb3

View on Github →

feat(algebra/divisibility): is_refl and is_trans instances for divisibility (#14240)

Estimated changes

modified theorem dvd_refl
modified theorem dvd_rfl
modified theorem one_dvd