The subsidiaryconditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好。
2
Objective: the effects of the different environment conditions and the subsidiary-color substance on the stability of the mock strawberry fruit at the UV spectrum.