Theorem Nat.bitwise_swap

Modification history