(Q8290)

Revision as of 17:39, 3 May 2023 by Fire (talk | contribs) (‎Created claim: defining formula (P333): A \cup B = \{ x \mid x \in A \lor x \in B\})

Statements

0 references
0 references
0 references
0 references
0 references
 
edit