Theorem or_comm'

Modification history