Theorem Function.Embedding.toEmbedding_equivOfFiniteSelfEmbedding

Modification history

2025-02-20 09:21
Mathlib/Data/Fintype/Card.lean
chore(Data/Fintype): split `Fintype/Card.lean` (#21840) …
Modified Function.Embedding.toEmbedding_equivOfFiniteSelfEmbeddingView on Github →
2024-12-10 06:48
Mathlib/Data/Fintype/Card.lean
feat: more API for iteratedFDeriv (#19769) …
Added Function.Embedding.toEmbedding_equivOfFiniteSelfEmbeddingView on Github →