Assertion list
sage (primary) → MadeOf
Results from Ascent++: 1
sage → MadeOf → one idea 0.16