Skip to content

Fixing up proofs

Fixing up proofs #52