Recent content by Linz_14

  1. L

    Starting a Proof for Show 4 < 5

    How do you start a proof for "Show 4 < 5"?