Go back to the tag's page.
Tags: Added new tags
Finiteness coh Lambda mods on curves Presumably not the most efficient way to prove this...