Theorem Pi.ofColex_apply

Modification history

2025-10-28 10:18
Mathlib/Order/PiLex.lean
feat: `CoeFun` for `Lex` and `Colex` (#30481) …
Added Pi.ofColex_applyView on Github →