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