Theorem Ideal.zero_ne_one_of_proper

Modification history