Inductive PushQuiver

Modification history

2022-12-17 08:37

Mathlib/Combinatorics/Quiver/Push.lean

feat: Refactor ConnectedComponent (#971) …

Deleted PushQuiver View on Github →

2022-12-07 03:37

Mathlib/Combinatorics/Quiver/Push.lean

feat: port Combinatorics.Quiver.Push (#868) …

Added PushQuiver View on Github →