Assertion: remainder | /r/HasProperty | defined for real numbers
Facets:
Source sentences:
text: You are right that the remainder can be defined for real numbers, I will add a section for this.