Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-22 12:45 208d4fed

View on Github →

docs(data/pnat): add module docstrings (#7960)

Estimated changes

Modified src/data/pnat/factors.lean

Modified src/data/pnat/xgcd.lean

deleted def pnat.xgcd:

added def pnat.xgcd