Remix.run Logo
inopinatus 10 hours ago

It was already fine, because it’s a metric defined on a submanifold of relativistic spacetime.