Author: nLab edit announcer Format: MarkdownItexWikipedia calls him "Gustav" rather than "Peter". His full name is "Johann Peter Gustav Lejeune Dirichlet".
Anonymouse
<a href="https://ncatlab.org/nlab/revision/Gustav+Dirichlet/1">v1</a>, <a href="https://ncatlab.org/nlab/show/Gustav+Dirichlet">current</a>
Wikipedia calls him “Gustav” rather than “Peter”. His full name is “Johann Peter Gustav Lejeune Dirichlet”.