factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
factor out index raise
substitute definition of connection
split the index a into t and j
replace ADM metric definitions
raise
simplify...
relabel...
for
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m
substitute definition of Riemann curvature
split the index e into t and m