Commit 2023-09-06 11:21 32e9e209
View on Github →fix(Logic/Equiv/Basic): Make use of Bool in equivs consistent. (#6736) See also the poll at https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.236736.20Bool.20consistency.2E/near/387566483 and the surrounding discussion.