Theorem ULift.ext

Modification history

2026-09-15 20:19

Mathlib/Data/ULift.lean

chore: bump toolchain to v4.35.0-rc1 (#43843)

Deleted ULift.ext View on Github →

2023-01-28 21:03

Mathlib/Data/ULift.lean

feat: port Algebra.Module.ULift (#1880)

Added ULift.ext View on Github →