Theorem RestrictedProduct.evalMonoidHom_apply

Modification history