Theorem RestrictedProduct.zpow_apply

Modification history