On the Trotter product formula (Q1157542)

From MaRDI portal