Assertion list for term "surjective".
Results from Ascent++: 1
function → HasProperty → surjective 0.38