formally smooth morphism

1. REDIRECT Smooth morphism#Formally smooth morphism

{{Redirect category shell|

{{R to section}}

}}