not backwards Boolean implication Z10964
Function

This page displays in a limited way without JavaScript.