Catagenesis Condition for Approximate Theorem-proving

• 近似定理证明中的退化条件