max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Nat/Bitwise
History
Kim Morrison 9006af4a96
chore: rename Xor to XorOp (#9621) 
This PR renames `Xor` to `XorOp`, to match `AndOp`, etc.
2025-07-30 00:51:10 +00:00
..
Basic.lean chore: rename Xor to XorOp (#9621) 2025-07-30 00:51:10 +00:00
Lemmas.lean chore: rename Xor to XorOp (#9621) 2025-07-30 00:51:10 +00:00