Commit 2024-03-04 10:09 1095e9af
View on Github →feat(CategoryTheory/Limits/Shapes/Biproducts): functoriality of bicones is full and faithful (#11130)
This follows the API pattern set by Cone and Cocone.
This also renames CategoryTheory.Limits.Cones.functorialityFaithful to CategoryTheory.Limits.Cones.functoriality_faithful to match the corresponding Cocone instance.