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.