We have the notations $L[A]$ for the inner-model constructible relative to some $A$, and the notation $M[G]$ for a generic extention of the model $M$. Do they coincide? That is, if we look at the constructible inner model $L$ and we have some $G$ which is a generic subset of some forcing notion $P\in L$, is the generic extention the same as the model constructed relative to $G$? (I think it is but I want to make sure...)
In particular, do we have a Condensation Lemma for $L[G]$?