Assertion: function's value | /r/HasProperty | given at time
Facets:
Source sentences:
text: Thus a(0)=1 and the value at time t is given by: