Theorem imp_or'

Modification history