Computing simplest subsidiary conditions in differential geometry theorem proving

• 微分几何定理证明中最简单辅助条件的计算