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