Ascent++
Search
Assertion list
for term "finite representation".
Results from
Ascent++
:
1
real number
→
HasA
→
finite representation
0.36