Closed davidcok closed 1 year ago
These changes correct a parentheses error and fix some failing proofs in 4.0 and reformat a file that (for white space?) failed the format check
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
These changes correct a parentheses error and fix some failing proofs in 4.0 and reformat a file that (for white space?) failed the format check
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.