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