Geodesic flow mixing on convex projective manifolds proven.
problem Understanding mixing properties of geodesic flow on convex projective manifolds.
method Introduced biproximal unit tangent bundle and proved mixing properties.
result Geodesic flow is topologically mixing on biproximal unit tangent bundle.