mathlib3
feat(combinatorics/quiver): isomorphisms of quivers
#18511

Open

feat(combinatorics/quiver): isomorphisms of quivers #18511

bottine wants to merge 9 commits into master from bottine/combinatorics.quiver/iso

init

8f2d3797

bottine requested a review 2 years ago

bottine added awaiting-review

bottine added t-combinatorics

YaelDillies commented on 2023-02-28

Yael's review, easy parts

b9ac8bd0

bottine removed awaiting-review

bottine added awaiting-author

bottine removed awaiting-author

bottine added awaiting-review

to launch the CI again

af46d30e

linter ups

3b702a7d

YaelDillies commented on 2023-03-01

Update src/combinatorics/quiver/iso.lean

b57e2e8c

YaelDillies commented on 2023-03-01

Yael's review

6831b3f9

kim-em added modifies-synchronized-file

urkud commented on 2023-06-21

eric-wieser added not-too-late

urkud commented on 2023-07-22

github-actions added delegated

github-actions removed awaiting-review

Distinct universes for iso

a905ef45

Distinct universes for isomorphic quivers.

30301772

ups

47d86b61

Reviewers

kim-em

urkud

YaelDillies

Assignees

No one assigned

Labels

delegated t-combinatorics modifies-synchronized-file not-too-late

Milestone

No milestone

mathlib3 feat(combinatorics/quiver): isomorphisms of quivers #18511 Open

feat(combinatorics/quiver): isomorphisms of quivers #18511

mathlib3
feat(combinatorics/quiver): isomorphisms of quivers
#18511

Open