Theorem Or.left_comm

Modification history