Theorem OrderIso.withTopCongr_apply

Modification history

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