Theorem Push.lift_obj

Modification history

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