« Fixpointificate.
Unless Uniqueness. »
2017-12-05
We leave checking C1 to C3 as an exercise to the reader — the proofs are very similar to those in part (i).
past-me, annoying now-me and future-me
Suchen