Disjunction property of intuitionistic propositional logic
= Disjunction property of intuitionistic propositional logic
The disjunction property says that if $\vdash_{\mathrm{IPC}}A\vee B$, then $\vdash_{\mathrm{IPC}}A$ or $\vdash_{\mathrm{IPC}}B$.
This is the disjunction part of <disjunction and existence properties>, specialized to <Intuitionistic propositional logic>.