Theorem ULift.down_beq

Modification history

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