Assertion list
partial derivative (subgroup of derivative ) → HasProperty
Results from Ascent++: 1
partial derivative → HasProperty → continuous 0.84