A Darboux theorem for derived schemes with shifted symplectic structure
scientific article; zbMATH DE number 7010362
scientific article