1 tablespoon unsalted butter · 1 tablespoon vegetable oil · 1 cup thinly sliced mushrooms · 1 teaspoon salt, plus more to taste · ½ cup diced onion · 1 pound ground ...