Suppose $E$ is an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at a prime $p$. Then one can define nonnegative integers $ \lambda_{E}^{alg} $, $ \mu_{E}^{alg} $, $ \lambda_{E}^{an} $ and $ \mu_{E}^{an} $ at $p$.

The "algebraic" Iwasawa invariants $ \lambda_{E}^{alg} $ and $ \mu_{E}^{alg} $ are defined in terms of the structure of the $p$-primary subgroup $ Sel_{E}(\mathbb{Q}_{\infty})_{p} $ of the Selmer group for $E$ over the cyclotomic $ \mathbb{Z}_{p} $-extension $ \mathbb{Q}_{\infty} $ of $\mathbb{Q}$. The definition of the "analytic" invariants $ \lambda_{E}^{an} $ and $ \mu_{E}^{an} $ is in terms of the $p$-adic $L$-function for $E$ constructed by Mazur and Swinnerton-Dyer.

Now the Main Conjecture (Mazur) implies that $ \mu_{E}^{alg}=\mu_{E}^{an} $ and $ \lambda_{E}^{alg}=\lambda_{E}^{an} $.

Let $E_1$ and $E_2$ are two elliptic curves over $\mathbb{Q}$ such that there exists a $\mathbb{Q}$-isogeny from $E_1$ to $E_2$. Is the Main Conjecture invariant under a $\mathbb{Q}$-isogeny i.e, if the conjecture is true for any one of the curves then it is also true for the other one $?$