There was a previous PEP (in 2012) with the exact same title: https://peps.pytho...

		pansa2 55 days ago \| parent \| context \| favorite \| on: A “frozen” dictionary for Python There was a previous PEP (in 2012) with the exact same title: https://peps.python.org/pep-0416/ Also one in 2019 for a "frozenmap": https://peps.python.org/pep-0603/