Theorem Ideal.span_pair_comm

Modification history