Def Ulower.down

Modification history

2023-05-28 08:49

Mathlib/Logic/Encodable/Basic.lean

chore: rename `Ulower` to `ULower` (#4430) …

Deleted Ulower.down View on Github →

2023-01-14 04:05

Mathlib/Logic/Encodable/Basic.lean

feat: port Logic.Encodable.Basic (#1517) …

Added Ulower.down View on Github →