Step 1

Saute the onion, garlic, and carrot in olive oil with the bay leaves 5-10 minutes (I use the saute setting on the Instant Pot or you can do this part on the stove ).

Step 2

Add remaining ingredients to the pot finishing with cabbage on top.

Step 3

Mix mustard with the broth and pour over.

Step 4

Cover and cook on slow cooker setting for 3-4 hours or until cabbage is tender.