Def NonUnitalSubsemiring.centerToMulOpposite

Modification history

2025-01-26 18:07

Mathlib/RingTheory/NonUnitalSubsemiring/Basic.lean

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

Added NonUnitalSubsemiring.centerToMulOpposite View on Github →