Assertion list
dark matter (primary) → AtLocation

Results from Ascent++: 1
dark matterAtLocation thermal equilibrium 0.25