(Q14855)

Revision as of 18:51, 17 November 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): second-order class (Q23))

Statements

 
edit