Having worked in discrete math and theoretical computer science myself, I agree with you especially when it comes to less well known / niche statements. Results

Having worked in discrete math and theoretical computer science myself, I agree with you especially when it comes to less well known / niche statements. Results that many other people build on tend to be solid though, because building on those results often requires the users to at least partially "reprove" them.