Theorem Monotone.mulIndicator_eventuallyEq_iUnion

Modification history