Theorem Ideal.span_eq_bot

Modification history