Assertion list
real number (primary) → HasA
Results from Ascent++: 3
real number → HasA → nonzero fractional part 0.46
real number → HasA → important but highly technical … 0.39
real number → HasA → finite representation 0.36