(Q8291)

Revision as of 17:38, 3 May 2023 by Fire (talk | contribs) (‎Created claim: defining formula (P333): \bigcup_{i = 1}^n A_i = \{x \mid x \in A_1 \lor \ldots \lor x \in A_n\})
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statements

0 references
0 references
 
edit