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

Open

Commits

init

bottine committed 2 years ago
Yael's review, easy parts

bottine committed 2 years ago
to launch the CI again

bottine committed 2 years ago
linter ups

bottine committed 2 years ago
Update src/combinatorics/quiver/iso.lean

bottine committed 2 years ago
Yael's review

bottine committed 2 years ago
Distinct universes for iso

bottine committed 2 years ago
Distinct universes for isomorphic quivers.

bottine committed 2 years ago
ups

bottine committed 2 years ago

Loading