Assertion list
limit (primary) → HasPrerequisite
Results from Ascent++: 1
limit → HasPrerequisite → simplification 0.27