The free Magma
on a Set
, resp. Setoid
#1954
Closed
Magma
on a Set
, resp. Setoid
#1954