Ascent++
Search
Assertion list
branch
(
aspect
of
union
)
→ HasProperty
Results from
Ascent++
:
1
branch
→
HasProperty
→
open
0.45