(Q3320)

Revision as of 18:33, 23 February 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): invariant (Q330))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statements

 
edit