Is there an implicit function theorem in synthetic geometry?

Synthetic differential geometry is a theory that uses category theory to build a model of geometry in which a differential is always availabel, that is, all functions are smooth. But no exposition I've seen shows how to do the implicit function theorem. It should be easy, with the automatic smoothness.