Theorem Bool.or_comm

Modification history