Theorem eq_zero_or_one_of_sq_eq_self

Modification history