|
|
|
|
|
|
by contravariant
3866 days ago
|
|
|
He managed to prove it quite rigorously for a specific example, which is the paper semi-extrinsic mentioned. He did indeed not prove the correspondence in general, but even this 'limited' example already turned out to be immensely useful. |
|
|