Skip to content

feat(Data/Nat/Bitwise): more symmetric statement of `Nat.xor_trichoto… #10403

feat(Data/Nat/Bitwise): more symmetric statement of `Nat.xor_trichoto…

feat(Data/Nat/Bitwise): more symmetric statement of `Nat.xor_trichoto… #10403

Annotations

1 warning

Post-CI job

succeeded Sep 12, 2024 in 9s