Assertion: composition | /r/HasProperty | assumed invertible
Facets:
Source sentences:
text: The inverse function of a composition (assumed invertible) has the property that (f ∘ g)−1 = g−1∘ f−1.