added multi_theorem(_i); have, show etc.: multiple statements;
added multi_theorem(_i);
have, show etc.: multiple statements;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle