Proposition 22.1.33`04004F65B932`

Proposition 22.1.33.04004F65B932 The operation $\lor $ is commutative and associative.

Proof. This is a direct consequence of corollary 17.15.17. $\square$

Cite this page

BibTeX citation

@misc{pome-tag-04004F65B932,
  author = {{Pome contributors}},
  title = {Proposition 22.1.33},
  howpublished = {Pome},
  url = {https://mingchenxia.github.io/Pome/tag/04004F65B932/}
}

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.

Read this page’s discussion on GitHub Post a comment on GitHub

Proposition 22.1.3304004F65B932

Comments

Proposition 22.1.33`04004F65B932`