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

Commits

This pull request is big! We're only showing the most recent 250 commits

Commits on May 4, 2026

Commits on May 9, 2026

Commits on May 10, 2026

Commits on May 11, 2026

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 14, 2026

Commits on May 15, 2026