Commits
Branch selector
User selector
Commit History
Commits on Feb 24, 2024
Commits on Feb 23, 2024
chore(CategoryTheory/Sites): golf and tidy up proof that extensive+regular generate coherent (leanprover-community#10903)
Feb 23, 2024 feat: another characterization of filtered categories in terms of type-valued limits (leanprover-community#10665)
feat(AlgebraicGeometry/EllipticCurve/Projective): implement equations and nonsingularity for projective coordinates (leanprover-community#9416)
feat(FieldTheory/Separable): add result on
Associated
andPolynomial.Separable
(leanprover-community#10897)feat(AlgebraicGeometry/EllipticCurve/Jacobian): implement equations and nonsingularity for Jacobian coordinates (leanprover-community#9432)
feat(GroupTheory/Exponent): lemmas around Monoid.exponent and Subgroup/Submonoid (leanprover-community#10598)
feat: Proof of Hermite theorem on number fields of bounded discriminant (leanprover-community#10030)
feat: between star ordered rings, star-preserving ring homomorphisms preserve order (leanprover-community#10563)
Feb 23, 2024
Commits on Feb 22, 2024
Feb 22, 2024