Skip to content

Remove redundancy in UniversalPolyRing#2176

Merged
fingolfin merged 3 commits intoNemocas:masterfrom
SoongNoonien:univ_poly_sym
Oct 2, 2025
Merged

Remove redundancy in UniversalPolyRing#2176
fingolfin merged 3 commits intoNemocas:masterfrom
SoongNoonien:univ_poly_sym

Commits

Commits on Sep 26, 2025

Commits on Oct 1, 2025