Theorem or_comm

Modification history