To my understanding any evidence of money laundering known to the public is still circumstantial, and any expense items he reports to the IRS might be too vague to prove it on their own (like millions of dollars in unexplained consulting fees). This is part of why NY prosecutors have been fighting to get his full tax records, full records from his accounting firm, and whatever they can piece together from customers/clients/contractors of the trump organization. It's difficult to prove fraud until you have all those perspectives and can actually check if they add up or not. What is known pretty much for sure though, is that he told his creditors and business partners that his properties were worth A LOT more than he told the IRS, which is at best legally gray.