从零学习VINS-Mono/Fusion源代码（三）：IMU预积分公式推导