Theorem or_assoc'

Modification history