Theorem CauSeq.pow_equiv_pow

Modification history