Description: If X is a timely cut of A and B , then ( _LeftX ) is cofinal with A . (Contributed by Scott Fenton, 23-Jan-2025)