Commit 2023-05-22 21:43 66dca258

View on Github →

feat: port Algebra.Category.Ring.Instances (#4185)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Algebra/Category/Ring/Instances.lean

added theorem IsLocalization.epi

added theorem isLocalRingHom_of_iso