Theorem Q60596.αβγ_smul_eq_zero

Modification history