gh-113746: Fix set and frozenset documents

Doc/c-api/set.rst

@@ -147,7 +147,7 @@ subtypes but not for instances of :class:`frozenset` or its subtypes.
 
    Return ``1`` if found and removed, ``0`` if not found (no action taken), and ``-1`` if an
    error is encountered.  Does not raise :exc:`KeyError` for missing keys.  Raise a
-   :exc:`TypeError` if the *key* is unhashable.  Unlike the Python :meth:`~frozenset.discard`
+   :exc:`TypeError` if the *key* is unhashable.  Unlike the Python :meth:`~set.discard`
    method, this function does not automatically convert unhashable sets into
    temporary frozensets. Raise :exc:`SystemError` if *set* is not an
    instance of :class:`set` or its subtype.

Doc/library/stdtypes.rst

@@ -4451,9 +4451,8 @@ of elements within braces, for example: ``{'jack', 'sjoerd'}``, in addition to t
 The constructors for both classes work the same:
 
 .. class:: set([iterable])
-           frozenset([iterable])
 
-   Return a new set or frozenset object whose elements are taken from
+   Return a new set object whose elements are taken from
    *iterable*.  The elements of a set must be :term:`hashable`.  To
    represent sets of sets, the inner sets must be :class:`frozenset`
    objects.  If *iterable* is not specified, a new empty set is
@@ -4465,8 +4464,7 @@ The constructors for both classes work the same:
    * Use a set comprehension: ``{c for c in 'abracadabra' if c not in 'abc'}``
    * Use the type constructor: ``set()``, ``set('foobar')``, ``set(['a', 'b', 'foo'])``
 
-   Instances of :class:`set` and :class:`frozenset` provide the following
-   operations:
+   Instances of :class:`set` provide the following operations:
 
    .. describe:: len(s)
 
@@ -4544,10 +4542,6 @@ The constructors for both classes work the same:
    is not equal). A set is greater than another set if and only if the first set
    is a proper superset of the second set (is a superset, but is not equal).
 
-   Instances of :class:`set` are compared to instances of :class:`frozenset`
-   based on their members.  For example, ``set('abc') == frozenset('abc')``
-   returns ``True`` and so does ``set('abc') in set([frozenset('abc')])``.
-
    The subset and equality comparisons do not generalize to a total ordering
    function.  For example, any two nonempty disjoint sets are not equal and are not
    subsets of each other, so *all* of the following return ``False``: ``a<b``,
@@ -4558,12 +4552,7 @@ The constructors for both classes work the same:
 
    Set elements, like dictionary keys, must be :term:`hashable`.
 
-   Binary operations that mix :class:`set` instances with :class:`frozenset`
-   return the type of the first operand.  For example: ``frozenset('ab') |
-   set('bc')`` returns an instance of :class:`frozenset`.
-
-   The following table lists operations available for :class:`set` that do not
-   apply to immutable instances of :class:`frozenset`:
+   Instances of :class:`set` also provide the following operations:
 
    .. method:: update(*others)
                set |= other | ...
@@ -4618,6 +4607,44 @@ The constructors for both classes work the same:
    :meth:`discard` methods may be a set.  To support searching for an equivalent
    frozenset, a temporary one is created from *elem*.
 
+.. class:: frozenset([iterable])
+
+   Return a new frozenset object whose elements are taken from *iterable*.
+
+   Instances of :class:`frozenset` provide the following :class:`set` operations:
+
+   .. method:: len(s)
+               x in s
+               x not in s
+               isdisjoint(other)
+               issubset(other)
+               set <= other
+               set < other
+               issuperset(other)
+               set >= other
+               set > other
+               union(*others)
+               set | other | ...
+               intersection(*others)
+               set & other & ...
+               new set with elements common to the set and all others.
+               difference(*others)
+               set - other - ...
+               symmetric_difference(other)
+               set ^ other
+               copy()
+
+   The notes about these methods mentioned in :class:`set` also apply
+   to :class:`frozenset`.  In addition, Note that:
+
+   * Instances of :class:`set` are compared to instances of :class:`frozenset`
+     based on their members.  For example, ``set('abc') == frozenset('abc')``
+     returns ``True`` and so does ``set('abc') in set([frozenset('abc')])``.
+
+   * Binary operations that mix :class:`set` instances with :class:`frozenset`
+     return the type of the first operand.  For example: ``frozenset('ab') |
+     set('bc')`` returns an instance of :class:`frozenset`.
+
 
 .. _typesmapping:
 

Doc/whatsnew/2.3.rst

@@ -63,10 +63,10 @@ Here's a simple example::
    Set([1, 2, 5])
    >>>
 
-The union and intersection of sets can be computed with the :meth:`~frozenset.union` and
-:meth:`~frozenset.intersection` methods; an alternative notation uses the bitwise operators
+The union and intersection of sets can be computed with the :meth:`~set.union` and
+:meth:`~set.intersection` methods; an alternative notation uses the bitwise operators
 ``&`` and ``|``. Mutable sets also have in-place versions of these methods,
-:meth:`!union_update` and :meth:`~frozenset.intersection_update`. ::
+:meth:`!union_update` and :meth:`~set.intersection_update`. ::
 
    >>> S1 = sets.Set([1,2,3])
    >>> S2 = sets.Set([4,5,6])
@@ -87,7 +87,7 @@ It's also possible to take the symmetric difference of two sets.  This is the
 set of all elements in the union that aren't in the intersection.  Another way
 of putting it is that the symmetric difference contains all elements that are in
 exactly one set.  Again, there's an alternative notation (``^``), and an
-in-place version with the ungainly name :meth:`~frozenset.symmetric_difference_update`. ::
+in-place version with the ungainly name :meth:`~set.symmetric_difference_update`. ::
 
    >>> S1 = sets.Set([1,2,3,4])
    >>> S2 = sets.Set([3,4,5,6])