Gaëtan Serré

icon indicating a website link gaetanserre.fr

icon company Centre Borelli, ENS Paris-Saclay icon location Gif-Sur-Yvette icon location PhD Student in applied mathematics

Results 1 comments of Gaëtan Serré

feat(MeasureTheory): two lemmas on almost everywhere equality and positive lintegral

> Can you update the PR description, please (since you removed one of the lemmas from this PR)? Thanks! Done! Thanks for pointing it out