Dimension of a finite-dimensional vector space
The dimension of a finite-dimensional vector space is the cardinality of any finite basis; different bases have the same cardinality.
atlas-vector-space-dimension · canonical_mko
Dimension of a finite-dimensional vector space
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data