Assertion list
hopf bifurcation (subgroup of bifurcation ) → HasProperty
Results from Ascent++: 1
hopf bifurcation → HasProperty → subcritical 0.68