Assertion list for term "appear in measure theory".

Results from Ascent++: 1
derivative CapableOfappear in measure theory 0.28