P
Initializing...
Symmetric connection difference vanishing on unit timelike vectors is zero · Prove2Me