> simply dumping proofs on the math community and expecting others to > do the grunt work of verifying, refining, and expanding
Hm, kinda reminds me of my college days. "Proof trivial, left as home work." was a sentence my Profs loved to say.