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