Commit 2023-03-11 17:48 80b14e20

View on Github →

feat: port NumberTheory.Basic (#2773)

Estimated changes

Modified Mathlib.lean

Created Mathlib/NumberTheory/Basic.lean

added theorem dvd_sub_pow_of_dvd_sub