Theorem Push.of_obj

Modification history

2022-12-17 08:37
Mathlib/Combinatorics/Quiver/Push.lean
feat: Refactor ConnectedComponent (#971) …
Deleted Push.of_objView on Github →
2022-12-07 03:37
Mathlib/Combinatorics/Quiver/Push.lean
feat: port Combinatorics.Quiver.Push (#868) …
Added Push.of_objView on Github →