Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-23 17:30 9a9794d7

View on Github →

doc(data/int/gcd): attribution + module doc (#2217)

  • doc(data/int/gcd): attribution + module doc
  • reword

Estimated changes

modified theorem nat.gcd_eq_gcd_ab
modified theorem nat.xgcd_aux_P
modified theorem nat.xgcd_aux_rec