Assertion list for term "use itrs".
Results from Ascent++: 1
compiler → CapableOf → use itrs 0.38