Ascent++
Search
Assertion list
energy
(
aspect
of
atom
)
→ AtLocation
Results from
Ascent++
:
1
energy
→
AtLocation
→
the smallest orbit
0.25