ParentFull threadjecel·I was not able to find the reference and I didn't read it carefully back then so might have misunderstood what was being proved.View on HN