ParallelPair

Statistics

Metric	Count
Definitions	0
Theorems `parallelPair_initial_mk`, `parallelPair_initial_mk'`	2
Total	2

Name	Kind	Assumes	Proves	Validates	Depends On
`parallelPair_initial_mk` 📖	mathematical	`Quiver.Hom` `CategoryTheory.CategoryStruct.toQuiver` `CategoryTheory.Category.toCategoryStruct` `CategoryTheory.CategoryStruct.comp`	`CategoryTheory.Functor.Initial` `WalkingParallelPair` `walkingParallelPairHomCategory` `parallelPair`	—	`parallelPair_initial_mk'` `CategoryTheory.Zigzag.of_hom_inv`
`parallelPair_initial_mk'` 📖	mathematical	`Quiver.Hom` `CategoryTheory.CategoryStruct.toQuiver` `CategoryTheory.Category.toCategoryStruct` `CategoryTheory.Zigzag` `CategoryTheory.CostructuredArrow` `WalkingParallelPair` `walkingParallelPairHomCategory` `parallelPair` `CategoryTheory.instCategoryCostructuredArrow` `WalkingParallelPair.zero`	`CategoryTheory.Functor.Initial`	—	`CategoryTheory.Zigzag.trans` `CategoryTheory.Zigzag.of_inv` `CategoryTheory.zigzag_isConnected` `CategoryTheory.Zigzag.symm`

---