Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Limits.Types.initial_iff_empty
Modification history
2024-02-01 20:02
Mathlib/CategoryTheory/Limits/Shapes/Types.lean
feat(CategoryTheory/Galois): evaluation is injective and more basic properties (#9841) …
Added
CategoryTheory.Limits.Types.initial_iff_empty
View on Github →