iso.lean

Commit

2 years ago

Update src/combinatorics/quiver/iso.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

References

Author

bottine

Parents