Theorem FiniteDimensional.Basis.subset_extend

Modification history