Assertion: boolean algebra | /r/HasProperty | shown
Facets:
Source sentences:
text: It can be shown that any two initial Boolean algebras are isomorphic, whence we say the initial Boolean algebra.