Assertion: connection | /r/HasProperty | an ℝ-linear map
Facets:
Source sentences:
text: A connection on E is an ℝ-linear map