Assertion list for term "injective".
Results from Ascent++: 2
function → HasProperty → injective 0.39
composition → HasProperty → injective 0.31