🌱 What We’re Trying to Prove We want to show: All strings built from a well-quasi-ordered alphabet...
mathematician
🌱 what is the idea behind the theorem? Higman’s Theorem is about sequences (think: strings made from...
