Def CategoryTheory.CardinalDirectedPoset.PropSetWithTop

Modification history

2026-07-03 08:36

Mathlib/CategoryTheory/Presentable/CardinalDirectedPoset.lean

feat(CategoryTheory/Presentable): sharply smaller regular cardinals (#40937) …

Added CategoryTheory.CardinalDirectedPoset.PropSetWithTop View on Github →