Assertion list for term "finite, non-zero temperature".

Results from Ascent++: 1
black hole HasAfinite, non-zero temperature 0.34