Theorem Pi.toColex_apply

Modification history

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