mathlib3
feat(data/list|multiset|finset): lemmas about intervals in nat
#795
Merged
Overview
Commits
4
Changes
View On GitHub

feat(data/list|multiset|finset): lemmas about intervals in nat #795

cipher1024 merged 4 commits into master from nat-Ico-lemmas
kim-em
kim-em kim-em requested a review from johoelzl johoelzl 7 years ago
cipher1024
cipher1024 cipher1024 assigned cipher1024 cipher1024 7 years ago
kim-em kim-em force pushed from 35e706ca to 8dfd6522 7 years ago
kim-em
kim-em feat(data/list|multiset|finset): lemmas about intervals in nat
f51c8657
doc(data/list): doc comments for list.Ico
cafd11fe
update doc comment
c91bf4a4
kim-em kim-em force pushed from fc6dd55a to c91bf4a4 7 years ago
kim-em
cipher1024 Merge branch 'master' into nat-Ico-lemmas
b37f36f6
cipher1024 cipher1024 merged 82f79a58 into master 7 years ago
cipher1024 cipher1024 deleted the nat-Ico-lemmas branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum