Solution for WPgen.ProofsWithXtactics.triple_succ_using_incr_with_xtactics
Click on the 'Next' button to reveal the proof step by step.