Hearty Shepherds Pie Recipe

Name: Hearty Shepherd's Pie Recipe
Ingredients: 6 garlic cloves; 1/4 tsp olive oil; 1-1/2 lb medium potatoes, peeled and cubed; 3 tbsp vegetable broth; 1/4 tsp salt; 1/8 tsp pepper; filling:; 1 medium onion, chopped; 1 tbsp olive oil; 2 garlic cloves, minced; 1 lb sliced baby portobello mushrooms; 8 oz frozen vegetarian meat crumbles; 2 medium carrots, sliced; 2 celery ribs, chopped; 3/4 cup vegetable broth, divided; 2 tbsp minced fresh rosemary; 1 tbsp reduced-sodium soy sauce; 1/2 tsp salt; 1/4 tsp pepper; 2 tbsp king arthur unbleached all-purpose flour; 1 cup frozen peas