Main Results:
- Ring, Ordered Ring, Well Ordered Ring axioms in Axioms.lean
- ROSS Axiom Set solved in RingResults.lean
- Ordered Rings are integral domains in IntegralDomain.lean
- Division algorithm existence and uniqueness in DivisionAlgorithm.lean
- Bezout's lemma in GCD.lean
- Euclid's lemma in Euclidslemma.lean
- Prime factorization existence in PrimeFactorizationExists.lean
- Prime factorization uniqueness in UniquePrimeFactorization.lean (to be continued)