Assertion: algebra's element | /r/CapableOf | exist unique ring homomorphism ϕ ¯
Facets:
Source sentences:
text: S} and an element x in S there exists a unique ring homomorphism ϕ ¯ : R [ t ]