Theorem Equiv.Set.union_symm_apply_right

Modification history