Assertion: perm | /r/HasProperty | a ≤ ∏ i
Facets:
Source sentences:
text: perm ⁡ A ≤ ∏ i = 1 n (