Theorem Quiver.SingleObj.ext

Modification history

2023-01-20 21:53

Mathlib/Combinatorics/Quiver/SingleObj.lean

feat: port combinatorics.quiver.single obj (#1686)

Added Quiver.SingleObj.ext View on Github →