Theorem RestrictedProduct.pow_apply

Modification history