(Q17960)

Revision as of 18:44, 2 January 2024 by Fire (talk | contribs) (‎Created claim: subclass of (P1): logical formula (Q17961))

Statements

 
edit