Go back to the tag's page.
TAGS: added new tags
Smoothing: remove Spec Avoid the language of schemes.
Proof of lifting lemma