Orthonormal coframe in spacetime (source code)

= Orthonormal coframe in spacetime

The dual coframe obeys $\theta^a(e_b)=\delta^a_b$ and reconstructs the metric as $g=\eta_{ab}\theta^a\otimes\theta^b$.