Item:Q13426: Difference between revisions

Created claim: instance of (P2): theorem (Q213)
 
Property / has part(s)
 
Property / has part(s): double negative elimination / rank
 
Normal rank