Skip to content

Prove IsKilling.second_covDeriv_eq_curvature (Killing field PDE) - #22

Closed
Xinze-Li-Moqian wants to merge 524 commits into
mainfrom
killing-pde
Closed

Prove IsKilling.second_covDeriv_eq_curvature (Killing field PDE)#22
Xinze-Li-Moqian wants to merge 524 commits into
mainfrom
killing-pde

Add statement-only sorry: Killing field PDE (∇²_{Y,Z} X = R(X, Y) Z)

62bfea6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar