Assertion list for term "preserve a claim of error".

Results from Ascent++: 1
proof CapableOfpreserve a claim of error 0.25