Referenced by:

• 50416994544690732227r
• 78738816933962383216r
• 84847520441209450303r
• 92644847594282241900r
• topology-convergent-sequences-under-continuous-functions
• topology-first-countable