mathlib3
wip(data/subtype_instances): introduce closed_under predicate typeclasses
#7834

Open

wip(data/subtype_instances): introduce closed_under predicate typeclasses #7834

eric-wieser wants to merge 1 commit into master from eric-wieser/subtype.closed_under-measurable

eric-wieser added RFC

eric-wieser commented on 2021-06-07

wip(data/subtype_instances): introduce closed_under predicate typecla…

38a5388c

eric-wieser force pushed from 8fb88378 to 38a5388c 5 years ago

github-actions added merge-conflict

kim-em added too-late

eric-wieser requested a review 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

RFC merge-conflict too-late

Milestone

No milestone