Theorem RestrictedProduct.evalRingHom_apply

Modification history