Skip to main content

All Questions

Tagged with
2 votes
1 answer
105 views

Eta-equality for records: the case of semigroups

Consider the following definition of a semigroup: ...
Jon's user avatar
  • 75