Theorem Equiv.Set.union_apply_left

Modification history