CartanFormula
P70764
predicate
Indicates how a derivation or differential operator acts on a product, expressing the result as a graded Leibniz rule that distributes over the product with appropriate signs.
Observed surface forms (1)
- satisfiesLeibnizRule ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Lie derivative | L_X = i_X d + d i_X on differential forms ⓘ |
| Poisson bracket | true via predicate surface "satisfiesLeibnizRule" ⓘ |