Def Subsemiring.centerCongr

Modification history

2026-02-09 08:58

Mathlib/Algebra/Ring/Subsemiring/Basic.lean

chore(style): remove duplicate instance hypotheses (#35002) …

Modified Subsemiring.centerCongr View on Github →

2025-01-26 18:07

Mathlib/Algebra/Ring/Subsemiring/Basic.lean

feat(Algebra): `Mul/RingEquiv`s between `center` and `Module.End` (#20721)

Added Subsemiring.centerCongr View on Github →