Def Push.of

Modification history

2022-12-17 08:37

Mathlib/Combinatorics/Quiver/Push.lean

feat: Refactor ConnectedComponent (#971) …

Deleted Push.of View on Github →

2022-12-07 03:37

Mathlib/Combinatorics/Quiver/Push.lean

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

Added Push.of View on Github →