Punugu bekku in English. Gram-Schmidt polynomials. Lean docs. Chinese Jump Rope video professional.