Covariant Lie Derivatives and (Super-)Gravity


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2507.00140