Theorem Ideal.norm_mem_spanNorm

Modification history