Theorem Bool.and_comm

Modification history