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