Jump to content

false implies true is true Z10335
Test case

From Wikifunctions