Prefer a chat interface with context about you and your work?
Singularity Theorems for $$C^1$$-Lorentzian Metrics