Jump to content

true implied by false is true Z10356
Test case

From Wikifunctions