Hi, On 13.08.19 14:48, Gregory Malecha wrote: > Naive question: What sort of reasoning are the bijections used for that makes > this lemma so crucial? I wouldn't say it is extremely crucial (clearly the author didn't even need it as their lemma is weaker), but it seems like a shame to leave a perfectly reasonable lemma "on the floor". ; Ralf