validate
validate copied to clipboard
use `<=` in stead of `<` when accounting for machine rounding
To be more consistent with deductive, rspa, and also <validator>$linear_coefficients