Pith. sign in

REVIEW 3 major objections 6 minor 36 references

Combinatorics of monoidal actions in Lie-algebraic context

T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For generic weights, tensoring a simple module with finite-dimensional modules stays semi-simple

desk verdict A useful self-survey with two new generic-block theorems; the proofs are compressed, and Theorem 12's main step is an unsupported equivalence claim that should be fixed or cited. read the letter →

arxiv 2509.01404 v1 pith:OHGB6LU2 submitted 2025-09-01 math.RT

Volodymyr Mazorchuk , Xiaoyu Zhu This is my paper · ORCID
classification math.RT MSC 17B1017B2018M05
keywords monoidalcategoryactionsLiealgebrarepresentationsprojectivefunctorsgenericcentralcharacteractiongraphsDynkindiagramssimpletransitivemodulecategoriesweightmultiplicities
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to classify the combinatorial data attached to the action of the monoidal category of finite-dimensional modules over a simple complex Lie algebra on module categories generated by a single simple module. For sl2 and sl3, the survey shows that the strongly connected components of the action graphs are exactly the infinite Dynkin diagrams A∞, A∞∞, C∞, T∞ and eight two-dimensional graphs, respectively. The new general results in the last section show that if a simple module has a generic central character, then the additive closure of all its finite-dimensional tensor products is semi-simple and simple transitive, and its split Grothendieck group is completely described by weight multiplicities. This matters because it turns a difficult classification problem into finite combinatorial data and gives a uniform description of tensor products of finite- and infinite-dimensional modules for almost all central characters.

What carries the argument

The load-bearing objects are indecomposable projective functors θ_{λ,μ}, introduced as direct summands of tensoring with finite-dimensional modules and classified by Weyl-group orbits on pairs of weights. For a generic central character, the projective functor θ_{λ+μ,λ+ν} is asserted to be an equivalence between the blocks with central characters χ_{λ+μ} and χ_{λ+ν}; this equivalence is the mechanism that makes every M⊗L semi-simple and lets the simple objects be indexed by integral shifts. The action graphs Γ_L, recording multiplicities of indecomposable summands after tensoring with the generating modules V and V*, carry the combinatorial classification in the sl2 and sl3 parts.

What would settle it

For g=sl2, take a non-integral weight λ (generic in the paper's sense) and compute V⊗L(λ) with V the two-dimensional module. The theorem predicts V⊗L(λ) ≅ L(λ+1)⊕L(λ−1), two non-isomorphic simples, with no other summands and no self-extensions. If this decomposition fails for some non-integral λ, or if χ_{λ+1}=χ_{λ−1}, the theorem is false.

Watch

Extended reading notes

Core claim

The central new claim is Theorem 12. Let g be a semisimple finite-dimensional complex Lie algebra, F its monoidal category of finite-dimensional modules, and L a simple g-module whose central character χλ is generic, meaning that λ+μ and λ+ν have different central characters whenever μ≠ν are integral weights. Then the additive closure add(F·L) of all modules M⊗L, M∈F, is semi-simple; its simple objects are, up to isomorphism, the modules θ_{λ,λ+μ}(L) indexed by the integral weight lattice Λ, where θ_{λ,λ+μ} are indecomposable projective functors; and the action is simple transitive as an F-module category. Moreover, for M∈F and μ,ν∈Λ, the multiplicity of θ_{λ,λ+ν}(L) as a direct summand of M

Load-bearing premise

The decisive premise is that for a generic weight, moving from one central character to another by an integral weight always gives an equivalence of module categories; if that is false, tensoring with a finite-dimensional module can create non-simple indecomposable summands.

Editorial extensions

If this is right

  • For any semisimple Lie algebra and any generic simple module L, every finite-dimensional tensor translate M⊗L is a direct sum of simple modules; no indecomposable non-simple summands occur.
  • The split Grothendieck group of add(F·L) is independent of the chosen generic L and is determined by the weight multiplicities of finite-dimensional modules: the coefficient of θ_{λ,λ+ν}(L) in M⊗θ_{λ,λ+μ}(L) is dim M_{ν−μ}.
  • The category add(F·L) is simple transitive, so it admits a weak Jordan–Hölder theory and cannot be decomposed into smaller invariant pieces.
  • For sl2 and sl3, the classification of strongly connected components of action graphs gives a complete list of possible combinatorial shadows: four infinite Dynkin types in rank one and eight two-dimensional graphs in rank two, with dual graphs for V*.
  • Theorem 11 identifies the regular action uniquely: any admissible simple transitive F-module category with the same split Grothendieck group as F is equivalent to the left regular action.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof of Theorem 12 reduces the classification of generic simple actions to the assertion about block equivalences; if that assertion is accepted, one expects add(F·L) to be equivalent as an F-module category for all simple L with the same generic central character, a statement the paper does not explicitly make.
  • Because generic weights form a set of full Lebesgue measure, the theorem describes the behaviour of almost every simple module; the non-generic cases, where the indecomposable combinatorics of type C∞, D∞ and the eight sl3 graphs appear, are the exceptional measure-zero locus.
  • A testable extension is to compute the structure constants dim M_{ν−μ} for the fundamental representations of sl4 or other higher-rank algebras and compare the resulting infinite matrices with the known action graphs, providing the first combinatorics beyond rank two.
  • If Conjecture 14 is true, the list of realizable Grothendieck modules is finite; the sl2 and sl3 classifications then become the complete evidence for a general finiteness principle.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. This paper is a survey of recent work on the actions of the monoidal category of finite-dimensional modules for a complex semisimple Lie algebra on additive categories generated by simple modules. Sections 3 and 4 summarize the authors' earlier classifications for sl2 and sl3: the action graphs of strongly connected components are of infinite Dynkin type, with explicit lists of realizations and additional rigidity results. Section 5 sets up the general framework, proves a new rigidity theorem (Theorem 11) for admissible simple transitive actions with split Grothendieck group isomorphic to that of the regular action, and states a new theorem (Theorem 12) for simple modules with generic central character: the category add(F·L) is semisimple and simple transitive, its simples are in bijection with the integral weight lattice, and the multiplicity of a shifted simple in a tensor product is given by the corresponding weight multiplicity of the finite-dimensional module. The proof of Theorem 12 relies crucially on an assertion in §5.5 that certain indecomposable projective functors between generic blocks are equivalences.

Significance. If Theorem 12 holds, it gives a complete and explicit description of the F-module category attached to a generic simple module, including a clean multiplicity formula and a simple-transitivity statement. This is a valuable step toward the classification problem formulated in §5.1 and supports Conjecture 14. The survey portions also provide a useful synthesis of the authors' previous classifications, and Theorem 11 is a plausible rigidity result. However, the paper's main new theorem is currently only as strong as its key unproved assertion about generic-block equivalences; without that step, claims (a)–(c) of Theorem 12 are unsupported. The paper does not contain machine-checked proofs or parameter-free derivations, but it does formulate a falsifiable conjecture (Conjecture 14) that is clearly separated from proved results.

major comments (3)
  1. [§5.5 / Theorem 12] The proof of Theorem 12 rests entirely on the assertion in §5.5 that for generic λ and any μ,ν∈Λ, the unique indecomposable projective functor θ_{λ+μ,λ+ν}: Z_{χ_{λ+ν}}→Z_{χ_{λ+μ}} is an equivalence with inverse θ_{λ+ν,λ+μ}. This assertion is stated without proof or citation. It is used in the first sentence of the proof to conclude that M⊗L is semisimple for every finite-dimensional M, and again in (b) to identify the simples and in (c) for transitivity. The generic condition defined in §5.5 only guarantees that the central characters χ_{λ+μ} are pairwise distinct; it does not itself imply that the projective functor moving between the corresponding blocks is invertible. Please provide a proof or a precise reference. If this equivalence fails in general, Claims (a)–(c) of Theorem 12 are unsupported.
  2. [Theorem 12(d)] The multiplicity formula in (d) is derived by a single citation to [Ko75, Corollary 5.5]. Since the statement of that corollary is not given, the reader cannot check its hypotheses against the present setting: an arbitrary simple g-module L with generic central character, the semisimplicity established in (a), and the identification of simples in (b). Please state the corollary and explain how the equality of summand multiplicities in the split Grothendieck group follows from the classical weight-multiplicity formula. This is the only support for the numerical content of the theorem.
  3. [Theorem 11 proof] The proof appeals to [AM11, Lemma 8] twice but does not state the lemma or the exact transpose relations. The sentence 'Since F is semi-simple, by [AM11, Lemma 8] applied to F F, we have that, for any F∈F, the matrix [F] is transposed to [F*]. By the same argument applied to M, we have that [F] is transposed to JF*K. Hence [F]=JFK' is too compressed: the first relation is in the semisimple category F F, while the second is in the abelianization M and relates the action on projectives to the action on simples. A reader cannot verify the deduction [F]=JFK without the lemma's statement. Since Theorem 11 is presented as a new result, this step needs to be expanded.
minor comments (6)
  1. [§5.5] The sentence 'The category Z is invariant under the usual action' should read 'stable' or 'closed' under the action, since the action is not bijective on objects.
  2. [§5.5] The assertion about the unique indecomposable projective functor between generic blocks contains two distinct claims: uniqueness and equivalence. Even the uniqueness is not explicitly justified; a reference to the classification of projective functors in [BG80] would help.
  3. [Figures 1 and 2] The captions are uninformative. The paper should state explicitly which graph in Figure 1 corresponds to each strongly connected component in Theorem 9 and which graph in Figure 2 is the companion for Γ*_L.
  4. [Theorem 12(b)] The phrase 'the classification of indecomposable projective functor' should be 'projective functors' (small grammatical issue).
  5. [Abstract] The abstract contains a typo: 'special attention is payed' should be 'paid'.
  6. [§5.5 / Theorem 12] The phrase 'equivalently, subquotient' in (d) depends on the semisimplicity just proved in (a). This is fine, but it would be clearer to write 'summand; by (a) this equals the subquotient multiplicity'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; the unproved generic-block equivalence in §5.5 is a correctness risk, not a circular reduction.

full rationale

No circularity is present. The paper is explicitly a survey of the authors' earlier work [MZ24]/[MZ25], and Sections 3–4 are attributed summaries rather than disguised derivations. The new general results are Theorem 11 and Theorem 12. Theorem 11 invokes [AM11, Lemma 8], a general categorical lemma from a paper co-authored by Mazorchuk; it is cited as an external published lemma and does not assume Theorem 11, so it is independent support rather than a load-bearing self-citation. Theorem 12's proof relies on the assertion in §5.5 that, for generic λ, every indecomposable projective functor between the blocks Z_{χ_{λ+μ}} and Z_{χ_{λ+ν}} is an equivalence. This assertion is indeed unproved in the paper and is load-bearing for claims (a)–(c): if it failed, semisimplicity and simple transitivity of add(F·L) would not follow. However, that is a gap or correctness risk, not circularity: the assertion is not derived from the theorem's conclusion, is not a fitted parameter renamed as a prediction, and is not justified by citing the authors' own prior work. Part (d) is supported by the external, independent result [Ko75, Corollary 5.5]. No equation or construction in the paper reduces to its own input by definition, and no central claim is forced by a self-citation chain. The appropriate finding is therefore no significant circularity, with the §5.5 omitted proof flagged as a separate correctness concern.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The new theorems rest on standard classification results (Bernstein-Gelfand projective functors, Kostant's tensor product formula) plus an unproved equivalence statement for generic blocks. The survey portions rely on the authors' own prior papers [MZ24, MZ25], but the central new claims are not forced by definition.

assumptions (4)
  • domain assumption For a generic weight lambda, the projective functor theta_{lambda+mu,lambda+nu} is an equivalence between blocks Z_{chi_{lambda+mu}} and Z_{chi_{lambda+nu}} for any mu,nu in Lambda.
    Stated in Section 5.5 without proof; it is the key mechanism in Theorem 12 that forces tensor products with finite-dimensional modules to be semi-simple. The paper cites the general classification of projective functors but does not show how genericity implies the equivalence.
  • domain assumption For any simple g-module L over a semisimple Lie algebra g, the category add(F.L) is an idempotent split Krull-Schmidt category with finite-dimensional morphism spaces and countably many indecomposable objects.
    Used throughout Section 5.1 to define the action graphs and Grothendieck groups; standard but not proven in the paper.
  • standard math The classification of indecomposable projective functors by orbits of the Weyl group on pairs (lambda,mu) with lambda-mu integral, and Kostant's formula for tensor product multiplicities, are used as black boxes.
    Invoked in Sections 5.4 and 5.5, specifically [BG80] and [Ko75, Corollary 5.5]; these are external published theorems.
  • domain assumption For an admissible F-module category M, the abelianization M exists, is an F-module category, and the matrix of F on the Grothendieck group of M is transposed to the matrix of F* on simples.
    Defined in Section 5.3 and used in the proof of Theorem 11; the transposition property is imported from [AM11, Lemma 8].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Combinatorics of monoidal actions in Lie-algebraic context." pith.science (2026). https://pith.science/paper/OHGB6LU2

@misc{pith2026250901404,
  author       = {Pith},
  title        = {Pith review of: Combinatorics of monoidal actions in Lie-algebraic context},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OHGB6LU2}},
  note         = {Machine review of arXiv:2509.01404}
}
abstract

This paper is, essentially, a survey related to the problem of understanding the combinatorics of the action of the monoidal category of finite dimensional modules over a simple finite dimensional Lie algebra on various categories of Lie algebra modules. A special attention is payed to the Lie algebras $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$. A few new general results are collected at the end.

Figures

Figures reproduced from arXiv: 2509.01404 by the authors.

Figure 1
Figure 1. The graphs ΓL 5.2. Combinatorial setup. Fix a triangular decomposition g = n− ⊕ h ⊕ n+ of g. Here h is a Cartan subalgebra and n+ and n− are the Lie subalgebras corresponding to a fixed splitting of all roots of g into positive and negative roots, respectively. Consider the Grothendieck ring Gr(F) of F. Since F is symmetric, the ring Gr(F) is commutative. Let n be the rank of g and ϖ1, ϖ2, . . . , ϖn be the fundamen… view at source ↗
Figure 2
Figure 2. The graphs Γ ∗ L For λ = Xn i=1 kiϖi and µ = Xn i=1 miϖi , we write λ ≤ µ provided that ki ≤ mi , for all i. If λ = Xn i=1 kiϖi ∈ h ∗ idom, then the object (1) On i=1 L(ϖi) ⊗ki has a unique summand isomorphic to L(λ) and all other summands are of the form L(µ), for µ < λ. Therefore, there is a ring isomorphism between Gr(F) and the polynomial ring Z[x1, x2, . . . , xn] which sends the object of F given by Formula (1… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    On selfadjoint functors satisfying polynomial relations

    Agerholm, T.; Mazorchuk, V. On selfadjoint functors satisfying polynomial relations. J. Algebra 330 (2011), 448--467

    work page 2011

  2. [2]

    Normal forms of functions near degenerate critical points, the Weyl groups A_k , D_k , E_k and Lagrangian singularities

    Arnol'd, V. Normal forms of functions near degenerate critical points, the Weyl groups A_k , D_k , E_k and Lagrangian singularities. Funkcional. Anal. i Prilozen. 6 (1972), no. 4, 3--25

    work page 1972

  3. [3]

    Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras

    Bernstein, J.; Gelfand, S. Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras. Compositio Math. 41 (1980), no.2, 245--285

    work page 1980

  4. [4]

    A certain category of g -modules

    Bernstein, I.; Gelfand, I.; Gelfand, S. A certain category of g -modules. Funkcional. Anal. i Prilozen. 10 (1976), no. 2, 1--8

    work page 1976

  5. [5]

    The A-D-E classification of minimal and A^ (1) _1 -conformal invariant theories

    Cappelli, A.; Itzykson, C.; Zuber, J.-B. The A-D-E classification of minimal and A^ (1) _1 -conformal invariant theories. Comm. Math. Phys. 113 (1987), no. 1, 1--26

    work page 1987

  6. [6]

    Introducing categories to the practicing physicist

    Coecke, B. Introducing categories to the practicing physicist. Preprint: arXiv:0808.1032

    work page Pith review arXiv

  7. [7]

    Coecke, B.; Paquette, \'E . O. Categories for the practising physicist. Lecture Notes in Phys., 813 Springer, Heidelberg, 2011, 173--286

    work page 2011

  8. [8]

    Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras

    Chen, C.-W.; Coulembier, K.; Mazorchuk, V. Translated simple modules for Lie algebras and simple supermodules for Lie superalgebras. Math. Z. 297 (2021), no. 1-2, 255--281

    work page 2021

Show all 36 references
  1. [9]

    Quotients simples de l'alg \`e bre enveloppante de sl (2)

    Dixmier, J. Quotients simples de l'alg \`e bre enveloppante de sl (2) . J. Algebra 24 (1973), 551--564

    1973

  2. [10]

    Enveloping algebras

    Dixmier, J. Enveloping algebras. Grad. Stud. Math., 11 American Mathematical Society, Providence, RI, 1996, xx+379 pp

    1996

  3. [11]

    Introduction to Lie algebras

    Erdmann, K.; Wildon, M. Introduction to Lie algebras. Springer Undergrad. Math. Ser., Springer-Verlag London, Ltd., London, 2006, x+251 pp

    2006

  4. [12]

    Tensor categories

    Etingof, P.; Gelaki, S.; Nikshych, D.; Ostrik, V. Tensor categories. Math. Surveys Monogr., 205 American Mathematical Society, Providence, RI, 2015, xvi+343 pp

    2015

  5. [13]

    Unzerlegbare Darstellungen

    Gabriel, P. Unzerlegbare Darstellungen. I. Manuscripta Math. 6 (1972), 71--103

    1972

  6. [14]

    Happel, D.; Preiser, U.; Ringel, C. M. Binary polyhedral groups and Euclidean diagrams. Manuscripta Math. 31 (1980), no. 1-3, 317--329

    1980

  7. [15]

    Happel, D.; Preiser, U.; Ringel, C. M. Vinberg's characterization of Dynkin diagrams using subadditive functions with application to DTr-periodic modules. Lecture Notes in Math., 832 , Springer, Berlin, 1980, pp. 280--294

    1980

  8. [16]

    Linear algebraic groups

    Humphreys, J. Linear algebraic groups. Grad. Texts in Math., No. 21 , Springer-Verlag, New York-Heidelberg, 1975, xiv+247 pp

    1975

  9. [17]

    Representations of semisimple Lie algebras in the BGG category O

    Humphreys, J. Representations of semisimple Lie algebras in the BGG category O . Grad. Stud. Math., 94 American Mathematical Society, Providence, RI, 2008, xvi+289 pp

    2008

  10. [18]

    Simple transitive 2-representations of small quotients of Soergel bimodules

    Kildetoft, T.; Mackaay, M.; Mazorchuk, V.; Zimmermann, J. Simple transitive 2-representations of small quotients of Soergel bimodules. Trans. Amer. Math. Soc. 371 (2019), no. 8, 5551--5590

    2019

  11. [19]

    On a q -analogue of the McKay correspondence and the ADE classification of sl _2 conformal field theories

    Kirillov, A., Jr.; Ostrik, V. On a q -analogue of the McKay correspondence and the ADE classification of sl _2 conformal field theories. Adv. Math. 171 (2002), no. 2, 183--227

    2002

  12. [20]

    Lie groups beyond an introduction

    Knapp, A. Lie groups beyond an introduction. Progr. Math., 140 Birkh \"a user Boston, Inc., Boston, MA, 2002, xviii+812 pp

    2002

  13. [21]

    On the tensor product of a finite and an infinite dimensional representation

    Kostant, B. On the tensor product of a finite and an infinite dimensional representation. J. Functional Analysis 20 (1975), no. 4, 257--285

    1975

  14. [22]

    Applying projective functors to arbitrary holonomic simple modules

    Mackaay, M.; Mazorchuk, V.; Miemietz, V. Applying projective functors to arbitrary holonomic simple modules. J. Lond. Math. Soc. (2) 110 (2024), no. 2, Paper No. e12965, 29 pp

    2024

  15. [23]

    Simple transitive 2 -representations of Soergel bimodules for finite Coxeter types

    Mackaay, M.; Mazorchuk, V.; Miemietz, V.; Tubbenhauer, D.; Zhang, X. Simple transitive 2 -representations of Soergel bimodules for finite Coxeter types. Proc. Lond. Math. Soc. (3) 126 (2023), no. 5, 1585--1655

    2023

  16. [24]

    Two-color Soergel calculus and simple transitive 2-representations

    Mackaay, M., Tubbenhauer, D. Two-color Soergel calculus and simple transitive 2-representations. Canad. J. Math. 71 (2019), no. 6, 1523--1566

    2019

  17. [25]

    On wild Lie algebras

    Makedonskyi, Ie. On wild Lie algebras. Preprint arXiv:1202.1401

    arXiv

  18. [26]

    Lectures on sl _2( C ) -modules

    Mazorchuk, V. Lectures on sl _2( C ) -modules. Imperial College Press, London, 2010, x+263 pp

    2010

  19. [27]

    Transitive 2-representations of finitary 2-categories

    Mazorchuk, V.; Miemietz, V. Transitive 2-representations of finitary 2-categories. Trans. Amer. Math. Soc. 368 (2016), no. 11, 7623--7644

    2016

  20. [28]

    Lie algebra modules which are locally finite and with finite multiplicities over the semisimple part

    Mazorchuk, V.; Mr en, R. Lie algebra modules which are locally finite and with finite multiplicities over the semisimple part. Nagoya Math. J. 246 (2022), 430--470

    2022

  21. [29]

    sl _2 -Harish-Chandra modules for sl _2 L(4)

    Mazorchuk, V.; Mr en, R. sl _2 -Harish-Chandra modules for sl _2 L(4) . J. Math. Phys. 63 (2022), no. 2, Paper No. 021701, 21 pp

    2022

  22. [30]

    Infinite rank module categories over finite dimensional sl _2 -modules in Lie-algebraic context

    Mazorchuk, V.; Zhu, X. Infinite rank module categories over finite dimensional sl _2 -modules in Lie-algebraic context. Preprint arXiv:2405.19894

    arXiv

  23. [31]

    Combinatorics of infinite rank module categories over finite dimensional sl _3 -modules in Lie-algebraic context

    Mazorchuk, V.; Zhu, X. Combinatorics of infinite rank module categories over finite dimensional sl _3 -modules in Lie-algebraic context. J. Pure Appl. Algebra 229 (2025), no. 9, Paper No. 108054

    2025

  24. [32]

    Graphs, singularities, and finite groups

    McKay, J. Graphs, singularities, and finite groups. In: The Santa Cruz Conference on Finite Groups, Proc. Sympos. Pure Math. 37 , Amer. Math. Soc., Providence, 1980, 183--186

    1980

  25. [33]

    On pairs of operators connected by a quadratic relation

    Ostrovskii, V.; Samoilenko, Yu. On pairs of operators connected by a quadratic relation. Funktsional. Anal. i Prilozhen. 47 (2013), no. 1, 82--87; translation in Funct. Anal. Appl. 47 (2013), no. 1, 67--71

    2013

  26. [34]

    La correspondance de McKay

    Reid, M. La correspondance de McKay. Ast \'e risque No. 276 (2002), 53--72

    2002

  27. [35]

    Some properties of the spectrum of a graph

    Smith, J. Some properties of the spectrum of a graph. Gordon and Breach Science Publishers, New York-London-Paris, 1970, pp. 403--406

    1970

  28. [36]

    Simple surface singularities

    Stevens, J. Simple surface singularities. Algebr. Geom. 4 (2017), no. 2, 160--176

    2017

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.