Assertion: free boolean algebra | /r/HasAspect | 22n elements
Facets:
Source sentences:
text: The free Boolean algebra on n generators, n finite, has 22n elements.