Commit 2023-08-29 15:10 2865aeda
View on Github →feat: multiplicative morphism properties (#6698) This PR introduces the notion of multiplicative morphism property, i.e. contains identities and is stable under composition.
feat: multiplicative morphism properties (#6698) This PR introduces the notion of multiplicative morphism property, i.e. contains identities and is stable under composition.