Item:Q5554: Difference between revisions
Created claim: instance of (P2): mathematical property (Q139) |
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 |