Jump to content

true implies true is true Z10332
Test case

From Wikifunctions