doc(linear_algebra/std_basis): update module doc (#10818)
doc(linear_algebra/std_basis): update module doc (#10818)

The old module documentation for this file still referred to the removed old `is_basis`-based definitions. This PR updates the documentation to refer to the new bundled `basis`-based definitions.







leanprover-community/mathlib,leanprover-community/mathlib