Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-01 15:46 cbd88d63

View on Github →

chore(*) add mod_add_div' and div_add_mod' and golf proofs (#5962) Resolves issue #1534. Name of nat.mod_add_div shouldn't be changed as this is in core. Better name suggestions for mod_add_div' and div_add_mod' welcome.

Estimated changes

added theorem int.div_add_mod'
added theorem int.mod_add_div'
added theorem nat.div_add_mod'
added theorem nat.div_add_mod
added theorem nat.mod_add_div'
added theorem pnat.div_add_mod'
added theorem pnat.mod_add_div'