Ascent++
Search
Assertion list
for term "the result of f".
Results from
Ascent++
:
1
matrix
→
HasA
→
the result of f
0.28