Theorem indicator_union_eventuallyEq

Modification history