Go back to the tag's page.
Tags: added new tags
Fix small things
Criterion formal smoothness in m-adic topology Of course I should have added this a million years ago. But we never needed this lemma until now!