Def CategoryTheory.Limits.Types.Quot.ι

Modification history

2024-03-12 20:09

Mathlib/CategoryTheory/Limits/Types.lean

refactor: generalize universes for colimits in Type (#11148) …

Added CategoryTheory.Limits.Types.Quot.ι View on Github →