validate icon indicating copy to clipboard operation
validate copied to clipboard

use `<=` in stead of `<` when accounting for machine rounding

Open markvanderloo opened this issue 3 years ago • 0 comments

To be more consistent with deductive, rspa, and also <validator>$linear_coefficients

markvanderloo avatar Apr 02 '21 13:04 markvanderloo