← Back to PeopleRSResearcherRonald SolomonGroup TheoristExpert group theorist and mathematician consulted by Axiom Math on UGT proof and first generation CFSG arguments during formalization.1Mentions0Articles0OutletsCompanies CoveredAxiom0Axiom Math0Lean0No linked articles yet.