Go back to the tag's page.
Fix some indices Thanks to zhang https://stacks.math.columbia.edu/tag/0FLX#comment-6516
Tags: added new tags
Kunneth for de Rham