mathlib

59f989eb - set integral is compatible with ae-eq of sets