Formal moduli problems and formal derived stacks

From MaRDI portal
Publication:5159147