Prefer a chat interface with context about you and your work?
Hawking’s Local Rigidity Theorem Without Analyticity