Go back to the tag's page.
Remove assumptions which are no longer required
Tags: Added new tags
Comparing perfect complexes in Zariski and etale topology Essentially just combining the results of the previous two commits