Open WIKI
Home
Sources
About
Contacts
⯈
☰
Transposition (logic)
transposition
is a
theorem
.