Theorem Commute.bit1_left

Modification history