Assertion: algebra's form | /r/HasProperty | r ⇝ v r f
Facets:
Source sentences:
text: Alternatively, one may define a difference variety as a functor from the category of difference field extensions of K {\displaystyle K} to the category of sets, which is of the form R ⇝ V R ( F )