Assertion: cartan connection | /r/HasProperty | way
Facets:
Source sentences:
text: A Cartan connection is a way of formulating some aspects of connection theory using differential forms and Lie groups.