Ascent++
Search
Assertion list
dark energy
(
subgroup
of
energy
)
→ HasA
Results from
Ascent++
:
1
dark energy
→
HasA
→
strong negative pressure
0.25