Def CategoryTheory.Limits.limitConeOfUnique
Modification history
2024-10-15 13:30
Mathlib/CategoryTheory/Limits/Shapes/Products.lean
chore(CategoryTheory): Unique->Nonempty+Subsingleton (#17748) …
Modified CategoryTheory.Limits.limitConeOfUniqueView on Github →