Jump to content

true implied by true is true Z10355
Test case

From Wikifunctions