Assertion list for term "used modulo".

Results from Ascent++: 1
amplifier HasPropertyused modulo 0.28