Theorem Q60596.algebraMap_αβγ_eq_zero

Modification history