Assertion list
torus (primary) → HasProperty

Results from Ascent++: 3
torusHasProperty fundamental 0.68
torusHasProperty compact 0.25
torusHasProperty dense 0.25