Skip to content
Permalink
Browse files

Move section earlier + fix proof a bit

  • Loading branch information...
aisejohan committed May 30, 2019
1 parent cd58226 commit 299d9d1628c004dc7f245c277d803e2c7ca06c52
Showing with 6,016 additions and 5,997 deletions.
  1. +6,015 −5,996 chow.tex
  2. +1 −1 tags/tags

0 comments on commit 299d9d1

Please sign in to comment.
You can’t perform that action at this time.