Theorem ULift.down_inj

Modification history

2025-09-15 12:54

Mathlib/Logic/Function/ULift.lean

chore: bump toolchain to v4.24.0-rc1 (#29671)

Modified ULift.down_inj View on Github →

2024-07-16 07:40

Mathlib/Logic/Basic.lean

chore(Logic/Function/Defs): move file out of Init (#14754)

Modified ULift.down_inj View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added ULift.down_inj View on Github →