ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R676 on D1496: Isomorphic vector spaces

Finitely generated vector spaces isomorphic iff dimensions coincide