Add some proofs to spaces-morphisms.tex
Locally of finite type is local in etale topology
for formal algebraic spaces
Ring theoretic counterpart of locally of finite type
for morphisms between locally countably indexed formal
algebraic spaces