I endorse your silly nitpick, but of course I had in mind the situation where neither proof explicitly rests on some assumption: TT and I are both claiming to have proven X outright.
I endorse your silly nitpick, but of course I had in mind the situation where neither proof explicitly rests on some assumption: TT and I are both claiming to have proven X outright.