Assertion list
level (primary) → SymbolOf
Results from Ascent++: 1
level → SymbolOf → equality 0.29