Go back to the tag's page.
New macro: \Ext
Tags: Added new tags
Fppf descent complexes Finally apply it to an actual usable thingeming