Theorem Q60596.sq_zero_of_αβγ_mul

Modification history