Theorem Ideal.selfBasis_def

Modification history