Bi-invariant differential form (source code)

= Bi-invariant differential form

A differential form on a <Lie group> is bi-invariant when it is invariant under both left and right translations.