Theorem Units.val_pow_eq_pow_val

Modification history