Show that the 1-combinators in the normalized subset of Pi+ can be expressed as adjacent transpositions. #24

Closed vikraman closed 3 years ago