Assertion list
riemann hypothesis (subgroup of hypothesis ) → IsA
Results from Ascent++: 1
riemann hypothesis → IsA → intellectual feast 0.25