Theorem Fin.succOrderEmb_toEmbedding

Modification history

2025-01-28 16:01
Mathlib/Order/Fin/Basic.lean
feat(*/Fin/*): add lemmas (#21175) …
Added Fin.succOrderEmb_toEmbeddingView on Github →