mathlib3
feat(data/{nat,int,zmod,finset}): add a few useful facts
#1220

Merged

feat(data/{nat,int,zmod,finset}): add a few useful facts #1220

mergify merged 3 commits into leanprover-community:master from avigad:varia

feat(data/finset): add a few useful facts

a5c516f2

feat(data/zmod/basic): express neg in terms of residues

ff32b161

feat(data/{nat,int}): add theorem 'mod_mod_of_dvd'

b3ff7706

avigad requested a review 7 years ago

ChrisHughes24 approved these changes on 2019-07-12

ChrisHughes24 added ready-to-merge

mergify merged fb7dfa16 into master 7 years ago

avigad deleted the varia branch 7 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone