Def CategoryTheory.Subobject.botCoeIsoInitial

Modification history

2023-04-17 17:56

Mathlib/CategoryTheory/Subobject/Lattice.lean

feat: port CategoryTheory.Subobject.Lattice (#3447)

Added CategoryTheory.Subobject.botCoeIsoInitial View on Github →