3anrev Show Code edit
# Reversal law for triple conjunction.
thm (3anrev () () (<-> (/\/\ ph ps ch) (/\/\ ch ps ph)) ph ps ch 3ancoma ch ps ph 3anrot bitr4i)
(<-> (/\/\ ph ps ch) (/\/\ ch ps ph))
edit