(Q852)

Revision as of 08:05, 27 January 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): invariant (Q330))

Statements

 
edit