All Questions
1 question
12
votes
1
answer
590
views
Should I delete my own question if it turns out trivial after a comment?
I had not given this question enough thought before asking it. I went straight to looking for a reference without thinking about it. Somebody pointed out the obvious solution in a comment. Should I ...