Go back to the tag's page.
Tags: added new tags
Finish descent rig-smooth / rig-etale All of this nonsense just to prove this damn lemma