SemigroupalKLaws

laws

SemigroupalKTests

discipline

semigroupalAssociativity

SemigroupalKLaws

semigroupalK

SemigroupalKTests