Theorem SemiconjBy.units_zpow_right

Modification history