Theorem Ideal.basisSpanSingleton_apply

Modification history