Corollary 1
Tag 060P, permanent. Cite it as [Bourbaki, Tag 060P].
Algebra, chapter III, § 4. Tensor products of algebras
For the canonical homomorphism of into G to be bijective, it is necessary and sufficient that there exist a basis of E over K which is a basis of the (right or left) F-module G.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.