Add a description, image, and links to the exponentiation-by-squaring topic page so that developers can more easily learn about it.

And the course feels like it’s mostly converging with any other set theory course, just with the special feature that everything remains resolutely isomorphism-invariant. This week we constructed N ...