Theorem Basis.exists_basis

Modification history