rules for intergration: integrating nat-functions, integrals on finite measures, constant multiplication
rules for intergration: integrating nat-functions, integrals on finite measures, constant multiplication

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