Commit 2023-07-03 13:20 a1e1e2f3
View on Github →fix: Data.Bool.Basic fix statement of not_inj (#5688)
Due to the precedence of not, the statement was !decide (a = !b) -> a = b. Now it is the correct statement
fix: Data.Bool.Basic fix statement of not_inj (#5688)
Due to the precedence of not, the statement was !decide (a = !b) -> a = b. Now it is the correct statement