Theorem WithTop.coeOrderHom_apply

Modification history

2026-07-08 18:17
Mathlib/Order/Hom/WithTopBot.lean
feat(Translate): validate all translations (#40365) …
Added WithTop.coeOrderHom_applyView on Github →