Theorem AffineBasis.exists_affineBasis_of_finiteDimensional

Modification history