equate positive Lebesgue integral and MV-Analysis' Gauge integral
equate positive Lebesgue integral and MV-Analysis' Gauge integral

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