Assertion list for term "original size".

Results from Ascent++: 1
proof HasAoriginal size 0.41