Item:Q5554: Difference between revisions

Created claim: defining formula (P333): a \times b = 0 \implies a=0 \lor b=0
 
Property / defining formula
 

a \times b = 0 \implies a=0 \lor b=0
Property / defining formula: / rank
 
Normal rank