Theorem Ulower.down_up

Modification history

2023-05-28 08:49

Mathlib/Logic/Encodable/Basic.lean

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

Deleted Ulower.down_up View on Github →

2023-01-14 04:05

Mathlib/Logic/Encodable/Basic.lean

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

Added Ulower.down_up View on Github →