PR #1931 fix(data/set/finite): finite.fintype is a def

fix(data/set/finite): finite.fintype is a def #1931

mergify merged 2 commits into master from finite-no-instance

fix(data/set/finite): finite.fintype is a def

e5cf2111

jcommelin approved these changes on 2020-01-30

jcommelin added ready-to-merge

Merge branch 'master' into finite-no-instance

e20986d3

mergify merged 4c2d6787 into master 6 years ago

mergify deleted the finite-no-instance branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone