Theorem ULift.down_compl

Modification history

2026-01-14 11:11

Mathlib/Order/ULift.lean

feat: rename `HasCompl` to `Compl` (#33545) …

Modified ULift.down_compl View on Github →

2023-07-31 11:35

Mathlib/Order/ULift.lean

feat: Add basic order instances on `ULift` (#5998) …

Added ULift.down_compl View on Github →