Assertion: real number's part | /r/CapableOf | consider the function
Facets:
Source sentences:
text: The free part of the unit group can be studied using the infinite places of K. Consider the function