Commit 2024-12-20 15:29 ea4f170a

doc(100,1000.yaml): tweak resp. add entry for Cantor's diagonal argument (#20112)

• document the second informal name in a comment, for future readers of the yaml file
• point to a different declaration (which matches what wikipedia has); one could also add both declarations, if preferred
• properly attribute Johannes Hölzl and Mario Carneiro as authors