Referenced by:

• 08405978941871500230r
• 32751095028652732405r
• 35798740496967030417r
• 47956844303176100870r
• topology-locally-compact-hausdorff-iff-homeomorphic-with-open-subspace-of-compact-hausdorff