Theorem or_assoc

Modification history