Ascent++
Search
Assertion list
for term "cut the 𝑦-axis".
Results from
Ascent++
:
1
curve
→
CapableOf
→
cut the 𝑦-axis
0.25