Theorem Set.mulIndicator_unionᵢ_apply

Modification history