(Q372)

Revision as of 19:08, 17 November 2023 by Fire (talk | contribs) (‎Changed claim: instance of (P2): second-order class (Q23))

Statements

 
edit