abuseofnotation/category-theory-illustrated

For or: p → p ∨ q and p → p ∨ q

majidaldo opened this issue · 1 comments

majidaldo commented

One antecedent needs to be q

abuseofnotation commented

Thanks, corrected