Theorem ULift.up_beq

Modification history

2024-10-08 06:33
Mathlib/Order/ULift.lean
feat: `LawfulOrd` and `LinearOrder` (#12082) …
Added ULift.up_beqView on Github →