Wiki. “第二 Bianchi 恒等式” [第二Bianchi恒等式]SimplicialCat $$ d\Omega = [\Omega,\omega]=\Omega\wedge\omega - \omega\wedge\Omega. $$