Theorem Ideal.constr_basisSpanSingleton

Modification history