Assertion: trigonometric function's domain | /r/HasProperty | $\re
Facets:
Source sentences:
text: Domain of regular tangent is $\Re / (\frac{\pi}{2}