Applicative interchange law

Sign up for access to the full page, plus the complete archive and all the latest content.