Theorem or_of_or_of_imp_right

Modification history