← e.sandbox
Papers and notes will be collected here. Nothing published yet.
A proof write-up, in progress.