Def CategoryTheory.CostructuredArrow.liftQuotient

Modification history

2023-04-25 06:01

Mathlib/CategoryTheory/Subobject/Comma.lean

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

Added CategoryTheory.CostructuredArrow.liftQuotient View on Github →