Ascent++
Search
Assertion list
internal structure
(
subgroup
of
structure
)
→ HasProperty
Results from
Ascent++
:
1
internal structure
→
HasProperty
→
simple
0.25