Assertion list for term "lattice top".

Results from Ascent++: 1
pie HasAlattice top 0.34