rjraya

Example 3.23 should swap around the composition of f p g to g p f. Also, the two components of the bifunctor should be in the reverse order. Sorry, I'm...

Problem with use of ssrfun

1

I get: Error: Notation "_ .[ _ ]" is already defined at level 2 with arguments constr at level 2, constr at level 200 while it is now required to...