Ascent++
Search
Assertion list
dark matter
(
primary
)
→ AtLocation
Results from
Ascent++
:
1
dark matter
→
AtLocation
→
thermal equilibrium
0.25