Ascent++
Search
Assertion list
for term "formula v".
Results from
Ascent++
:
1
yield
→
HasA
→
formula v
0.30