Theorem Quiver.Symmetrify.lift_spec

Modification history

2022-12-17 08:37

Mathlib/Combinatorics/Quiver/ConnectedComponent.lean

feat: Refactor ConnectedComponent (#971) …

Modified Quiver.Symmetrify.lift_spec View on Github →

2022-12-04 12:55

Mathlib/Combinatorics/Quiver/ConnectedComponent.lean

feat: port Combinatorics.Quiver.ConnectedComponent (#836) …

Added Quiver.Symmetrify.lift_spec View on Github →