mathlib3
feat(logic/relation): auxiliary `forall_exists_rel` relation
#18713

Open

feat(logic/relation): auxiliary `forall_exists_rel` relation #18713

vihdzp wants to merge 3 commits into master from forall_exists_rel

Update relation.lean

3916391c

improve docstring

beadb264

tweak

fa1e6b9a

vihdzp added awaiting-review

vihdzp added modifies-synchronized-file

vihdzp requested a review from

astrainfinita 2 years ago

YaelDillies commented on 2023-04-02

eric-wieser removed awaiting-review

eric-wieser added awaiting-author

kim-em added too-late

Reviewers

YaelDillies

astrainfinita

Assignees

No one assigned

Labels

awaiting-author modifies-synchronized-file too-late

Milestone

No milestone