Theorem Function.Embedding.toEmbedding_equivOfFiniteSelfEmbedding

Modification history

2024-12-10 06:48
Mathlib/Data/Fintype/Card.lean
feat: more API for iteratedFDeriv (#19769) …
Added Function.Embedding.toEmbedding_equivOfFiniteSelfEmbeddingView on Github →