{"articles":{"integral-wrt-pushforward@measure-theory":{"content":"","names":[[["Integral wrt. pushforward measure",""]]]}},"style":"Statement"}