Author: Urs Format: MarkdownItexam giving this its own little entry, for ease of reference
<a href="https://ncatlab.org/nlab/revision/continuous+homomorphisms+of+Lie+groups+are+smooth/1">v1</a>, <a href="https://ncatlab.org/nlab/show/continuous+homomorphisms+of+Lie+groups+are+smooth">current</a>
am giving this its own little entry, for ease of reference