Theorem ULift.down_inj

Modification history

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 →