Def CategoryTheory.WithInitial.id

Modification history

2023-06-06 03:55

Mathlib/CategoryTheory/WithTerminal.lean

feat: port CategoryTheory.WithTerminal (#2630)

Added CategoryTheory.WithInitial.id View on Github →