Def ULift.ringEquiv

Modification history

2022-12-28 14:53
Mathlib/Algebra/Ring/ULift.lean
feat: port Algebra.Ring.Ulift (#1240) …
Added ULift.ringEquivView on Github →