PR #794 feat(data/finset): missing fold_map lemma

feat(data/finset): missing fold_map lemma #794

cipher1024 merged 1 commit into master from fold-map

feat(data/finset): missing fold_map lemma

7acf2cc5

kim-em requested a review from

digama0 7 years ago

cipher1024 merged 61e02dd2 into master 7 years ago

kim-em deleted the fold-map branch 7 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

None yet

Milestone

No milestone