Examples of use of cut to shorten proofs

Publication details

  • Journal: Ukjent, Thursday 1. May 1997