OK, I have to ask, how exactly did that become visible?
Magic. Also, you might have pressed a button.
(maybe even a short blurb explaining the axiom of choice’s role)
Hm, do you really think that would help? I was trying to more of provide a quick reference of facts, while referring elsewhere for proofs.
You can still do that to a large degree, but I think that even for a LW audience it would be helpful to say what it is, state that it was used in the proof, and explain briefly why we should keep both axiom-of-choice-is-true and axiom-of-choice-is-false cases in mind.
What I mean is, did you see it when I accidentally posted it the first time, before I deleted it, or did you somehow see it after I then deleted it (in which case my name would have appeared as “[deleted]”), or were you somehow able to find the old version after I posted the new one?
Magic. Also, you might have pressed a button.
You can still do that to a large degree, but I think that even for a LW audience it would be helpful to say what it is, state that it was used in the proof, and explain briefly why we should keep both axiom-of-choice-is-true and axiom-of-choice-is-false cases in mind.
What I mean is, did you see it when I accidentally posted it the first time, before I deleted it, or did you somehow see it after I then deleted it (in which case my name would have appeared as “[deleted]”), or were you somehow able to find the old version after I posted the new one?
Saw it the first time, composed first draft of comment then, tried to post and found out it had been deleted, was sad.