Assertion list for term "lattice".
Results from Ascent++: 1
vinyl → UsedFor → lattice 0.53