Assertion: trace | /r/HasProperty | a u
Facets:
Source sentences:
text: A U ‖ F 2 = trace ⁡ ( ( A U )
text: = trace ⁡ ( ( U A ) ∗ U A )