Theorem Valuation.map_pow

Modification history