web-dev-qa-db-fra.com

semigroup

LiftA2 préserve-t-il l'associativité?