added Euclid’s definition of even/odd numbers to the top of the entry
]]>I have added the adjoint modality of on .
This example is from adjoint modality (here). But it was actually a little wrong there. I have fixed it and expanded there and then copied over to here.
]]>