Theorem Units.val_zpow_eq_zpow_val

Modification history