Skip to content
Browse files

One possible setup for Weil coh theories

Unfortunately, even though we have already too many axioms, it is still
rather hard to get anywhere...
  • Loading branch information...
aisejohan committed Jun 7, 2019
1 parent 53cbe0b commit 1eb537236d6a7dae4b0a84244adc6f59bb8d189b
Showing with 930 additions and 1 deletion.
  1. +930 −1 weil.tex

0 comments on commit 1eb5372

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