The view, I think, is that anything you can prove immediately off the top of your head is trivial. No matter how much you have to know. So, sometimes you get conditional trivialities, like “this is trivial if you know this and that, but I don’t know how to get this and that from somesuch...”.
Relatedly, a mathematician friend said that he uses “obvious” to mean “there exists a very short proof of it.” He has been sometimes known to say things like “I think this is obvious but I’m not sure why yet.”
The view, I think, is that anything you can prove immediately off the top of your head is trivial. No matter how much you have to know. So, sometimes you get conditional trivialities, like “this is trivial if you know this and that, but I don’t know how to get this and that from somesuch...”.
Relatedly, a mathematician friend said that he uses “obvious” to mean “there exists a very short proof of it.” He has been sometimes known to say things like “I think this is obvious but I’m not sure why yet.”