Assertion list for term "let in 1x".

Results from Ascent++: 1
aperture CapableOflet in 1x 0.25