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.

Estimated changes