Fix SubSeqTyping axiom for the empty case#216

muenchnerkindl merged 1 commit intotlaplus:isabelle2025tlaplus/tlapm:isabelle2025from

rozlynd:fix-subseqtyping-axiom-emptycaserozlynd/tlapm:fix-subseqtyping-axiom-emptycaseCopy head branch name to clipboard