Pour la garniture des lasagnes, faire revenir l'oignon avec 1 cuillère à soupe d'huile d'olive dans une grande poêle, jusqu'à ce qu'il commence à colorer légèrement. Ajouter l'ail, sans le laisser brûler. Ajouter les champignons et faire cuire jusqu'à ce qu'ils se ratatinent (environ 15 minutes). Ajouter le brocoli et faire cuire pendant encore 5 à 10 minutes. Ajouter ensuite les épinards hachés et faire cuire pendant encore 5 minutes. Assaisonner avec du sel et du poivre. Ajouter le jus de citron et mettre la garniture de côté.