Ascent++
Search
Assertion list
for term "used modulo".
Results from
Ascent++
:
1
amplifier
→
HasProperty
→
used modulo
0.28