❓What is the vector identity used to expand the centrifugal force formula?

The vector identity used is the vector triple product rule: $A \times(B \times C)=B(A \cdot C)-C(A \cdot B)$.

Tensor Form of the Centrifugal Force in Rotating Frames | Proof and Derivationviadean on Notion