Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-19 20:49 d4fd7227

View on Github →

feat(algebra/group; data/nat) lemmas for sub sub assoc (#1712)

  • Lemmas for sub sub assoc
  • Removed a lemma

Estimated changes

added theorem sub_sub_assoc_swap
added theorem nat.sub_sub_assoc
modified theorem nat.succ_div_of_dvd
modified theorem nat.succ_div_of_not_dvd