Def CategoryTheory.StructuredArrow.liftSubobject

Modification history

2023-04-25 06:01

Mathlib/CategoryTheory/Subobject/Comma.lean

feat: port CategoryTheory.Subobject.Comma (#3502)

Added CategoryTheory.StructuredArrow.liftSubobject View on Github →