Explain "equality up to" #49
Description
Line 145 in 959df2f
equalityUpTo f x y = (f x) == (f y)
Typical example: equality up to (mod n) means equality modulo n
{{ message }}
Line 145 in 959df2f
equalityUpTo f x y = (f x) == (f y)
Typical example: equality up to (mod n) means equality modulo n