Ascent++
Search
Assertion list
derived unit
(
subgroup
of
unit
)
→ IsA
Results from
Ascent++
:
1
derived unit
→
IsA
→
unit
0.25