Def ULift.ringEquiv

Modification history

2025-04-13 02:25
Mathlib/Algebra/Ring/ULift.lean
chore(*): rename ring type variables (#23939) …
Modified ULift.ringEquivView on Github →
2022-12-28 14:53
Mathlib/Algebra/Ring/ULift.lean
feat: port Algebra.Ring.Ulift (#1240) …
Added ULift.ringEquivView on Github →