The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
英
美
- 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.