Commit 2024-04-29 06:58 3eb8d76b
View on Github →feat(CategoryTheory): morphism properties that have the two-out-of-three property (#12460)
The type class MorphismProperty.HasTwoOutOfThreeProperty
is introduced. The structure StableUnderComposition
is also changed into a type class IsStableUnderComposition
.