Go back to the tag's page.
Add lemma in more-morphisms.tex
Tags: Added new tags
Being perfect is fppf local on the source