infer variances of user-given mapper operation; proper thm storing
infer variances of user-given mapper operation; proper thm storing

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