Jump to content

false implied by false is true Z10360
Test case

From Wikifunctions