nqed.
alias symbol "covers" (instance 1) = "covers".
alias symbol "covers" (instance 2) = "covers set".
alias symbol "covers" (instance 3) = "covers".
ntheorem transitivity: âA:Ax.âa:A.âU,V. a â U â U â V â a â V.
nqed.
alias symbol "covers" (instance 1) = "covers".
alias symbol "covers" (instance 2) = "covers set".
alias symbol "covers" (instance 3) = "covers".
ntheorem transitivity: âA:Ax.âa:A.âU,V. a â U â U â V â a â V.