Pith. sign in

REVIEW 3 major objections 5 minor 35 references

Representation theory of hereditary artin algebras of finite representation type

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For finite-type hereditary artin algebras, the full Auslander-Reiten quiver is determined by the Dynkin ext-quiver alone, with explicit formulas for every type.

desk verdict A serious and mostly sound construction of AR quivers for hereditary artin algebras of finite type, with the main caveat being that the load-bearing hammock diagrams are not fully verified in the text. read the letter →

arxiv 2506.22987 v1 pith:ZZLW7YT5 submitted 2025-06-28 math.RT

Shiping Liu , Gordana Todorov This is my paper · ORCID
classification math.RT MSC 16G3016G7016E35
keywords hereditaryartinalgebrasfiniterepresentationtypeAuslander-ReitenquivershammockfunctionsvaluedCoxetertransformationsderivedcategoriescluster
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

Finite representability of a hereditary artin algebra is governed by its ext-quiver being a Dynkin diagram. The paper claims that for such an algebra the entire Auslander-Reiten quiver — the valued translation quiver of all indecomposable modules and irreducible maps — can be reconstructed from that Dynkin diagram alone. The route goes through a complete determination of all hammocks, the subquivers of modules sharing a fixed simple composition factor, computed by additive functions on the repetitive quiver of the opposite ext-quiver. These hammocks reveal, for each projective module $P_i$, the unique injective module in its $\tau$-orbit and the distance $m(i)$ along the orbit. From this the authors derive explicit formulas for the pi-permutation and pi-index for every Dynkin type, and with them the number of indecomposable modules and the nilpotency of the radicals of the module category, the bounded derived category, and the cluster category.

What carries the argument

The load-bearing objects are extended hammock functions. Brenner's hammock $H_k$ is the full subquiver of $\Gamma_{\operatorname{mod} H}$ generated by modules whose composition factors include the simple module $S_k$; the paper extends the notion to the repetitive quiver $\mathbb{Z}Q_H^{\mathrm{op}}$, where the hammock function $h_k$ is the unique additive function on the successor-closed subquiver $\operatorname{Suc}(0,k)$ taking prescribed values (products of inverse valuations along sectional paths) on the $(0,k)$-source section. The additive recurrence $f(\tau x) + f(x) = \sum_{y \in x^-} v'_{y,x} f(y)$ then propagates $h_k$ across the whole finite convex hull, and Theorem 4.2.4 shows that the first vertex $(s_k, i_k)$ where $h_k$ equals $-1$ (with all proper predecessors non-negative) is exactly the location of the injective module $I_k$ in the $\tau$-orbit of $P_{i_k}$. The case-by-case diagrams in Lemmas 4.2.5–4.2.7 evaluate these functions for the types $A_n$, $D_n$, $E_6$, and determine $\rho$ and $m$.

What would settle it

Take a specific oriented Dynkin quiver of type $E_6$ (for instance the one in Example 4.5.2) and compute its Auslander-Reiten quiver by an independent knitting algorithm or computer algebra system; then check whether $\tau^{-m(i)}P_i = I_{\rho(i)}$ holds for every vertex $i$ with the stated values of $m$ and $\rho$. A single mismatch in $m(i)$ or $\rho$ would refute Theorem 4.5.1.

Watch

Extended reading notes

Core claim

The paper's central claim is that for a hereditary artin algebra $H$ of finite representation type, the Auslander-Reiten quiver $\Gamma_{\operatorname{mod} H}$ is completely determined by the ext-quiver $Q_H$, an oriented Dynkin diagram with valuations. Concretely, Theorem 4.5.1 exhibits a convex embedding $\Gamma_{\operatorname{mod} H} \to \mathbb{Z}Q_H^{\mathrm{op}}$ sending $\tau^{-r}P_i$ to $(r,i)$, and proves that the injective lying in the $\tau$-orbit of $P_i$ is $I_{\rho(i)} = \tau^{-m(i)}P_i$, with $\rho$ and $m$ given by explicit closed formulas for every Dynkin type ($A_n$, $D_n$, $E_6$, $E_7$, $E_8$, $B_n$, $C_n$, $F_4$, $G_2$). The formulas depend only on reduced-walk counts in $Q_H$ and the Coxeter order $|C_H|$. Thus the intricate valuation diagrams called Auslander-Reiten quivers can be drawn directly from the ext-quiver, with no further module-theoretic computation, and this yields as corollaries the number of indecomposable modules, the nilpotency of the radicals of $\operatorname{mod} H$, of $D^b(\operatorname{mod} H)$, and of the cluster category $\mathscr{C}_H$.

Load-bearing premise

The argument leans on the hand-drawn hammock diagrams in Lemmas 4.2.5, 4.2.6, and 4.2.7, which give the numerical values of $m(i)$ but are presented without a fully written induction; an error in any entry would change the orbit lengths and every subsequent count.

Editorial extensions

If this is right

  • The complete AR quiver of any finite-type hereditary artin algebra can be drawn directly from the oriented ext-quiver using the closed formulas of Theorem 4.5.1, with no mesh computations.
  • The number of non-isomorphic indecomposable $H$-modules is $\frac{1}{2}n|C_H|$, and the same quantity for the cluster category is $\frac{1}{2}n(|C_H|+2)$; these match the positive-root and cluster-variable counts.
  • The radicals of $\operatorname{mod} H$, of the bounded derived category $D^b(\operatorname{mod} H)$, and of the cluster category $\mathscr{C}_H$ all have nilpotency $|C_H|-1$.
  • The Coxeter order $|C_H|$ depends only on the Dynkin type and not on the orientation of $Q_H$.

Reading between the lines

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

  • One could turn the formulas into a short algorithm: input an oriented Dynkin diagram, compute reduced-walk counts, output the convex hull in $\mathbb{Z}Q^{\mathrm{op}}$. This would make finite-type AR quivers routinely printable for any orientation.
  • Because the machinery is phrased for valued quivers, it covers the non-simply-laced types $B_n$, $C_n$, $F_4$, $G_2$ uniformly, not just the algebraically closed A-D-E cases.
  • The same additive hammock functions may control injective orbits in preprojective components of infinite-type hereditary algebras, where the hammock is infinite but the recurrence still pins down the first negative value that marks the injective.
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 / 5 minor

Summary. The paper gives a combinatorial reconstruction of the Auslander-Reiten quiver of a hereditary artin algebra of finite representation type from its ext-quiver. The main tool is an extended hammock function on the repetitive quiver of the opposite ext-quiver, used to locate, for each projective module P_i, the injective module in the same Auslander-Reiten translate orbit. This yields explicit formulas for the pi-permutation and pi-index in every Dynkin type (Theorem 4.5.1), and the paper derives as applications the number of indecomposable modules, the nilpotency of the radical in the module category and derived category, and the analogous counts for the cluster category.

Significance. If the diagrammatic computations are fully validated, this is a substantial and useful result: it turns the shape of the Auslander-Reiten quiver into an explicit, parameter-free combinatorial output of the ext-quiver, with no fitted data and with known numerical invariants recovered as corollaries. The paper is largely self-contained, treats artin algebras with valuations, and correctly identifies the Coxeter order as orientation-independent. The derivations of the orbit-counting and nilpotency formulas from the structural theorem are clean, and the agreement with Gabriel's root count and Fomin-Zelevinsky cluster-variable counts is a genuine positive check.

major comments (3)
  1. [§4.2, Lemmas 4.2.5, 4.2.6, 4.2.7; Theorem 4.5.1] The formulas for rho and m in Theorem 4.5.1 rest entirely on the displayed valuations of the extended hammock function h_1 in Lemmas 4.2.5-4.2.7. The proofs assert the diagrams and immediately read off the unique -1 entry from them; no induction, recurrence check, or verification of boundary values is written. Since the surrounding framework is self-contained, these diagrams are the load-bearing combinatorial input, and a single incorrect entry, especially the -1, would change tau^{-m(i)}P_i = I_{rho(i)} and hence the whole AR-quiver picture. Please supply a written verification of at least the recurrence that produces each diagram, or a machine-checkable computation that can be inspected.
  2. [§4.2, Definition 4.2.1] The definition asserts that h_k is the unique additive function on Suc(0,k) with prescribed values on the (0,k)-source section. However, Proposition 2.3.2 guarantees uniqueness only for stable valued translation quivers with a finite section, whereas Suc(0,k) is not stable: the translate of a successor may leave the subquiver. The intended argument appears to be to extend the function additively to all of ZQ_H^op and then restrict, but that step is not stated or proved. This should be clarified, because all hammock computations use this uniqueness.
  3. [§4.6, Theorem 4.6.4; Definition 4.6.2] The proof of Theorem 4.6.4 uses distances in Gamma_{D^b(mod H)} such as dist(P_i[0],P_i[1]) and dist(P_i[0],P_i[2]). For Q_H = A_1, the repetitive quiver ZQ_H^op has no arrows, so no path exists between P_i[0] and P_i[1] and these distances are undefined under Definition 4.6.2. The theorem itself is true in the A_1 case, but that case needs to be handled separately or the distance convention needs an explicit extended definition.
minor comments (5)
  1. [§4.5, proof of Theorem 4.5.1(1)] In the displayed derivation of m(i), the middle equality writes r_{n+1-i,n} where the correct index should be r_{n+1-i,1}; as written, the equality m(n)-r_{i,n}+r_{n+1-i,1}=r_{1,n}-r_{i,n}+r_{n+1-i,n} is false in general. The final formula is correct, so this is a typographical error, but it should be fixed.
  2. [§4.2, Lemmas 4.2.5-4.2.7 and §4.3] The notation r_{1,i} used in the lemmas is introduced informally, while §4.3 uses the more precise a^+(i,j); for consistency, the earlier proofs should either use a^+(1,i) or explicitly identify r_{1,i} with it.
  3. [Example 4.5.3] In the bottom row of the displayed AR-quiver for F_4, the labels tau^{-P_1}, tau^{-2}P_1, tau^{-3}P_1, tau^{-4}P_1 appear under the row beginning with P_4; these should presumably be tau^{-r}P_4, since the pi-permutation is the identity and the orbit of P_4 has length 5. The present labels are confusing.
  4. [Throughout] There are several typographical slips that should be corrected in a revision: 'algebbra', 'mdoules', 'mi-index', 'valuded', 'Propsoition', 'sourced section', and 'transofrmations' in the keywords.
  5. [§4.3, Theorem 4.3.5(1)] For even D_n, the proof says 'Using the same argument there, I_2 = tau^{2-n}P_2', but Lemma 4.2.6 is stated only for I_1. The symmetric statement should be written out or justified explicitly.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the AR-quiver formulas are computed from additive hammock functions on ZQop_H and standard independent embedding theorems; the main risk is unverified hand-drawn diagram computations, not circularity.

full rationale

The derivation chain is self-contained in the following sense. Proposition 4.1.1 obtains the convex embedding Gamma_modH -> ZQop_H from the embedding result quoted as [28, (1.13)] and independently pointed to as [2, (VIII.1.15)]. Definition 4.2.1 defines the extended hammock function h_k directly from the ext-quiver data, as the unique additive function on Suc(0,k) with prescribed values on the (0,k)-source section. Lemma 4.2.2 proves that this combinatorial function agrees with the composition multiplicity ell_{S_k} on the embedded vertices, and Theorem 4.2.4 reduces the location of I_k to the first vertex where h_k equals -1. Lemmas 4.2.5-4.2.7 then compute h_1 for A_n, D_n, and E_6 by displaying hand-drawn diagrams, and Theorem 4.5.1 assembles rho and m from those computations together with Proposition 4.4.1 and Proposition 4.4.2. The Coxeter-order values used in Theorem 4.5.1(4) are taken from the standard table in [2, Pages 289-290], after Proposition 4.4.2 proves orientation-independence; this is an external reference, not a fitted parameter. The only notable self-citation is [28] (Liu-Yin) for the convex embedding of Gamma_modH into the repetitive quiver, but the manuscript itself also cites the independent textbook result [2, (VIII.1.15)] for the same fact, so this self-citation is not load-bearing. No definition is made in terms of the target result, and no fitted quantity is later renamed a prediction; the applications in Section 4.6 are consequences of the computed rho and m, not inputs to them. The genuine weakness is that the hammock diagrams in Lemmas 4.2.5-4.2.7 are asserted without a written induction or recurrence check: the text says only 'Since h_1 is additive, we can depict its valuation ... as follows' and then reads off the -1 entry. An error in a diagram entry would change I_k and hence the formulas in Theorem 4.5.1. This is an omitted verification and a correctness risk, but it is not circularity, because the diagram entries are the unshown computation from the stated additive function, not an input that is later repackaged as the conclusion.

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

The paper introduces new tools such as the extended hammock function and the pi-permutation, but no new mathematical entities requiring independent falsifiable evidence. There are no fitted free parameters; all quantities are either defined from the given algebra or derived from standard background theorems.

assumptions (6)
  • domain assumption A hereditary artin algebra is of finite representation type if and only if its ext-quiver is a Dynkin quiver (and then it is a tree).
    Invoked at the start of Section 4 to restrict to Dynkin ext-quivers; cited from [2, (VIII.5.4)].
  • standard math Gamma_modH embeds as a convex valued translation quiver in the repetitive quiver ZDelta_H of its projective section.
    Used in Proposition 4.1.1 and throughout; cited from [28, (1.13)] and [2, (VIII.1.15)]. This is the geometric foundation for the coordinate computation.
  • standard math The Coxeter transformation C_H of K_0(mod H) has finite order for a hereditary artin algebra of Dynkin type.
    Used to define the Coxeter order |C_H| in Proposition 4.4.1; cited from [29, (4.1)].
  • standard math An artin algebra is representation-finite if and only if rad(mod Lambda) is nilpotent.
    Used in the introduction and in Section 1.6 to motivate nilpotency computations; cited from [2, (V.7.7)] and [34, (1.1)].
  • standard math The bounded derived category of a hereditary artin algebra has almost split triangles and its AR quiver is isomorphic to ZDelta_H.
    Used in Section 4.1 (Theorem 4.1.2) for derived category and cluster category results; cited from [18, (4.5)] and [5, (7.2)].
  • standard math The Auslander-Reiten theory for Hom-finite Krull-Schmidt categories, including the definition of the AR quiver and the properties of irreducible maps in Proposition 1.5.1.
    The foundational framework in Section 1.5 underpins all valuations, hammock definitions, and almost split sequence arguments.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Representation theory of hereditary artin algebras of finite representation type." pith.science (2026). https://pith.science/paper/ZZLW7YT5

@misc{pith2026250622987,
  author       = {Pith},
  title        = {Pith review of: Representation theory of hereditary artin algebras of finite representation type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZZLW7YT5}},
  note         = {Machine review of arXiv:2506.22987}
}
abstract

Let $H$ be a hereditary artin algebra of finite representation type. We first determine all hammocks in the Auslander-Reiten quiver $\GaH$ of $\mmod H$, the category of finitely generated left $H$-modules. This enables us to obtain an effective method to construct $\GaH$ by simply viewing the ext-quiver of $H$. As easy applications, we compute the numbers of non-isomorphic indecomposable objects in $\mmod H$ and the associated cluster category $\mathscr{C}_H$, as well as the nilpotencies of the radicals of $\mmod H\hspace{-.4pt},$ $\hspace{-.5pt} D^{\hspace{.5pt}b\hspace{-.6pt}}(\hspace{-.5pt}\mmod H\hspace{-.5pt})$ and $\mathscr{C}_H$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 33 canonical work pages

  1. [28]

    Liu and Y

    S. Liu and Y. Yin, Module categories of small radical nilpotency , Algebr. Represent. Theor. (2023) 333 - 361

    work page 2023

  2. [2]

    Auslander, I

    M. Auslander, I. Reiten and S. O. Smalø, Representation Theory of Artin Algebras , Cambridge Studies in Advanced Mathematics 36 (Cambridge University Press, Cambridge, 19 95)

    work page

  3. [1]

    Assashiba, A generalization of Gabriel’s Galois covering functors and derived equivalences, J

    H. Assashiba, A generalization of Gabriel’s Galois covering functors and derived equivalences, J. Algebra 334 (2011) 109 - 149

    work page 2011

  4. [3]

    Bautista, Irreducible morphisms and the radical of a category , Ann

    R. Bautista, Irreducible morphisms and the radical of a category , Ann. Inst. Math. Univ. Nac. Auto. Mex. 22 (1982) 83 - 135. REPRESENTATION THEORY OF HEREDITARY ARTIN ALGEBRAS OF FINI TE REPRESENTATION TYPE 27

    work page 1982

  5. [4]

    Bautista and S

    R. Bautista and S. Liu, The bounded derived categories of an algebra with radical sq uared zero, J. Algebra 482 (2017) 303 - 345

    work page 2017

  6. [5]

    Bautista, S

    R. Bautista, S. Liu, and C. Paquette, Representation theory of strongly locally finite quivers , Proc. London Math. Soc. 106 (2013) 97 - 162

    work page 2013

  7. [6]

    Bautista and S

    R. Bautista and S. O. Smalø, Nonexistent cycles , Comm. Algebra 11 (1983) 1755 - 1767

    work page 1983

  8. [7]

    A. B. Buan, R. Marsh, M. Reineke, I. Reiten and G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. 204 (2006) 572 - 618

    work page 2006

Show all 35 references
  1. [8]

    Bongartz and P

    K. Bongartz and P. Gabriel, Coverings spaces in representation-theory , Invent. Math. 65 (1982) 331 - 378

    1982

  2. [9]

    Borel, P.-P

    A. Borel, P.-P. Grivel, B. Kaup, A. Haefliger, B. Malgrang e and F. Ehlers, Algebraic D-Modules , Perspectives in Mathematics 2 (Academic Press, Boston, 1987)

    1987

  3. [10]

    Brenner , A combinatorial characterisation of finite Auslander-Reit en quivers , Lecture Notes in Mathematics 1177 (Springer, Berlin, 1986) 13 - 49

    S. Brenner , A combinatorial characterisation of finite Auslander-Reit en quivers , Lecture Notes in Mathematics 1177 (Springer, Berlin, 1986) 13 - 49

    1986

  4. [11]

    Chaio and S

    C. Chaio and S. Liu, A note on the radical of a module category , Comm. Algebra 41 (2013) 4419 - 4424

    2013

  5. [12]

    H. S. M. Coxeter, The product of the generators of a finite group generated by re flections, Duke Math. J. 18 (1951) 765 - 782

    1951

  6. [13]

    Dlab and C

    V. Dlab and C. M. Ringel, On algebras of finite representation type , J. Algebra 33 (1975) 306 - 394

    1975

  7. [14]

    Dlab and C

    V. Dlab and C. M. Ringel, Indecomposable representations of graphs and algebras , Mem. Amer. Math. Soc. 173 (1976)

    1976

  8. [15]

    Fomin, L

    S. Fomin, L. Williams and A. Zelevinsky, Introduction to Cluster Algebras (preliminary version), arXiv: 1608.05735v4

    arXiv

  9. [16]

    Fomin and A

    S. Fomin and A. Zelevinsky, Cluster algebras I: Foundations , J. Amer. Math. Soc. 15 (2002) 497 - 529

    2002

  10. [17]

    Gabriel, Unzerlegbare Darstellungen I , Manuscripta Math

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

    1972

  11. [18]

    Happel, On the derived category of a finite-dimensional algebra , Comment

    D. Happel, On the derived category of a finite-dimensional algebra , Comment. Math. Helv. 62 (1987) 339 - 389

    1987

  12. [19]

    Happel, U

    D. Happel, U. Preiser and C. M. Ringel, Vinberg’s characterization of Dynkin diagrams using subad ditive functions with applications to DTr-periodic modules , Lecture Notes in Mathematics 832 (Springer, Berlin, 1980) 280-294

    1980

  13. [20]

    Igusa and G

    K. Igusa and G. Todorov, A characterization of finite Auslander-Reiten quivers , J. Algebra 89 (1984) 148 - 177

    1984

  14. [21]

    Iyama, H

    O. Iyama, H. Nakaoka and Y. Palu, Auslander-Reiten theory in extriangulated categories , arXiv: 1805.03776v3 (2023)

    2023 arXiv

  15. [22]

    Lenzing, Hereditary Categories, Handbook of Tilting Theory, London Mathematical Society Le ctures Note Series 332 (Cambridge University Press, Cambridge, 2007) 105 - 146

    H. Lenzing, Hereditary Categories, Handbook of Tilting Theory, London Mathematical Society Le ctures Note Series 332 (Cambridge University Press, Cambridge, 2007) 105 - 146

    2007

  16. [23]

    Liu, The degrees of irreducible maps and the shapes of Auslander- Reiten quivers , J

    S. Liu, The degrees of irreducible maps and the shapes of Auslander- Reiten quivers , J. London Math. Soc. (2) 45 (1992) 32 - 54

    1992

  17. [24]

    Liu, Semi-stable components of an Auslander-Reiten quiver , J

    S. Liu, Semi-stable components of an Auslander-Reiten quiver , J. London Math. Soc. (2) 47 (1993) 405 - 416

    1993

  18. [25]

    Liu, Shapes of connected components of the Auslander-Reiten qui vers of artin algebras , Canad

    S. Liu, Shapes of connected components of the Auslander-Reiten qui vers of artin algebras , Canad. Math. Soc. Conf. Proc. 19 (1995) 109 - 137

    1995

  19. [26]

    Liu, Auslander-Reiten theory in a Krull-Schmidt category , Sao Paulo J

    S. Liu, Auslander-Reiten theory in a Krull-Schmidt category , Sao Paulo J. Math. Sci. 4 (2010) 425 - 472

    2010

  20. [27]

    Liu and H

    S. Liu and H. Niu, Almost split sequences in tri-exact categories , J. Pure Appl. Algebra 226 (2022) 1 - 31

    2022

  21. [29]

    M. I. Platzeck and M. Auslander, Representation theory of hereditary Artin algebras , Lecture Notes in Pure and Applied Mathematics 37 (Dekker, New York, 1978) 389 - 424

    1978

  22. [30]

    Reiten and M

    I. Reiten and M. Van den Bergh, Noetherian hereditary abelian categories satisfying Serr e duality , J. Amer. Math. Soc. 15 (2002) 295 - 366

    2002

  23. [31]

    Riedtmann, Algebren, Darstellungsk¨ ocher, ¨Uberlagerungen und Zur¨ uck, Comment

    Chr. Riedtmann, Algebren, Darstellungsk¨ ocher, ¨Uberlagerungen und Zur¨ uck, Comment. Math. Helv. 55 (1980) 199 - 224

    1980

  24. [32]

    C. M. Ringel, Tame algebras and Integral Quadratic Forms , Lecture Notes in Mathematics 1099 (Springer-Verlag, Berlin, 1984)

    1984

  25. [33]

    C. M. Ringel, The regular components of the Auslander-Reiten quiver of a t ilted algebra , Chinese Ann. Math. Ser B9 (1988) 1 - 18

    1988

  26. [34]

    Skowro´ nski,Cycles in module categories, Proceedings of Annual Canadian Mathematical Society/NAT O Advanced Reserch W orkshop (Ottawa, 1992); NATO Adv

    A. Skowro´ nski,Cycles in module categories, Proceedings of Annual Canadian Mathematical Society/NAT O Advanced Reserch W orkshop (Ottawa, 1992); NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 424 (Kluwer Acad. Publ., Dordrecht,

    1992

  27. [35]

    Zacharia, The preprojective partition for hereditary Artin algebras , Trans

    D. Zacharia, The preprojective partition for hereditary Artin algebras , Trans. Amer. Math. Soc. 274 (1982) 327 - 343. Department of Mathematics, Sherbrooke University, Sherbro oke, Quebec, Canada Email address : shiping.liu@usherbrooke.ca Department of Mathematics, Northeaste...

    1982

Pith tools

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