Coframe (source code)

= Coframe
{title2=$\phi_i(e_j)=\delta_{ij}$}

A coframe dual to a local frame of the <tangent bundle> is the corresponding local frame of the <cotangent bundle>. Its elements are <differential one-forms>. Applying the coframe to covariant derivatives of the frame extracts the <connection one-forms>; applying it to the <torsion tensor> extracts the <torsion forms>.