Theorem Ideal.zero_eq_bot

Modification history