connectives.Or
ℙ → ℙ → ℙ
Parameter Or : Prop -> Prop -> Prop
axiom Or : Prop -> Prop -> Prop
constant Or : (Prop) -> (Prop) -> Prop
sttfa_Or : [bool -> [bool -> bool]]
Printing for OpenTheory is not working at the moment.