Theorem Q60596.αβγ_ne_zero

Modification history