use ;
/// Rotates a vector around a given axis by a specified angle.
///
/// Arguments:
/// * `vector` - The vector to rotate.
/// * `axis` - The axis to rotate around.
/// * `angle_radians` - The angle to rotate by, in radians.
///
/// Returns:
/// * The rotated vector.