Theorem Commute.bit1_right

Modification history