Skip to main content
4 events
when toggle format what by license comment
Nov 19, 2022 at 14:55 vote accept Zach Goldthorpe
Nov 19, 2022 at 14:42 comment added Maxime Ramzi @Z.M I am relatively confident that they don't. I know at least one proof which doesn't, and browsing through Kerodon, it also seems to be that the proof in Kerodon doesn't either. (from Kerodon's system for tracking where tags are used, it also seems to indicate that 02KS is not used anywhere but 02KT, which itself is used nowhere)
Nov 19, 2022 at 12:55 comment added Z. M I am not sure whether usual proofs of Thm A use some version of this. In Kerodon, this is placed before Thm A: kerodon.net/tag/02KS
Nov 19, 2022 at 9:34 history answered Maxime Ramzi CC BY-SA 4.0