Theorem gold_pow_sub_gold_pow

Modification history