Describir: Uniqueness of minimal unstable lamination for discretized Anosov flows