Theorem Pi.toColex_update_lt_self_iff

Modification history

2025-10-02 15:37
Mathlib/Order/PiLex.lean
feat: `Colex` order on pi types (#29080) …
Added Pi.toColex_update_lt_self_iffView on Github →