Talk:Schreier conjecture

Conjecture even though true
Since this "conjecture" is now known to be true, shouldn't it be renamed to a "theorem" or something like that ? 77.193.57.116 (talk) 14:18, 24 July 2022 (UTC)