Commit 2022-08-26 18:48 362fc2dc
View on Github →fix: rename and.swap to And.swap (#389) Fixes typo from #34. Compare to lean3port: https://github.com/leanprover-community/lean3port/blob/f32c612cbcf601def6e4546470e8d2776a7f54d1/Leanbin/Init/Logic.lean#L217