Theorem Equiv.Set.union_apply_right

Modification history