Theorem OrderEmbedding.withBotMap_apply

Modification history

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