Einstein–Cartan theory