Assertion: ensemble | /r/HasSubgroup | invariant matrix ensemble
Facets:
Source sentences: