Mathematics in lean: exercise solution filled in.

Stream: general

[Martin C. Martin]

In section 4.2 a paragraph starts "You can also try your hand at the next group of exercises," the proofs aren't just sorry but filled in. Seems to not be what was intended.