Question about page 273: Chapter 4.7, Exercise 25

[MetallicCrimson]

Unlike ex. 23 and ex. 24, ex. 25 only has the proof by contraposition (as in part (a) ). Was this left out accidentally, or is there a specific reason for it?

Also, I just noticed that there's a comma before the [as was to be shown.] in ex. 25.

[spamegg1]

Must have forgotten! 😅

[spamegg1]

OK I made and pushed all the fixes, thanks so much again for reporting.

Looks like Github Actions is not working right now, so the release will have to wait until they fix it.

https://www.githubstatus.com/