Item:Q13432: Difference between revisions

Created claim: instance of (P2): theorem (Q213)
 
Property / instance of
 
Property / instance of: rule of inference / rank
 
Normal rank