Ascent++
Search
Assertion list
depth
(
aspect
of
lens
)
→ DefinedAs
Results from
Ascent++
:
1
depth
→
DefinedAs
→
the region
0.38