Go back to the tag's page.
Tags: added new tags
Finishing derham for now Of course we need to improve this later, but this is a good start.
Finish proof of de Rham coh = Weil coh thy