Permanence properties dvrs
Typo in spaces-morphisms.tex
Properties of formal completion
More examples of conditions which imply rig-surjectivity