Theorem or_of_or_of_imp_left

Modification history