(Q2445)

Revision as of 14:05, 11 February 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): integer-valued function (Q2446))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statements

 
edit