Theorem RestrictedProduct.inv_apply

Modification history