Ascent++
Search
Assertion list
torus
(
primary
)
→ HasProperty
Results from
Ascent++
:
3
torus
→
HasProperty
→
fundamental
0.68
torus
→
HasProperty
→
compact
0.25
torus
→
HasProperty
→
dense
0.25