Theorem IsChain.image_relEmbedding

Modification history

2026-08-31 13:50
Mathlib/Order/Preorder/Chain.lean
chore: delete deprecated declarations from February 2026 (#43178) …
Deleted IsChain.image_relEmbeddingView on Github →
2026-03-11 15:48
Mathlib/Order/Preorder/Chain.lean
chore: use `RelHomClass` in `IsChain.image` (#34760)
Modified IsChain.image_relEmbeddingView on Github →
2025-10-02 19:28
Mathlib/Order/Preorder/Chain.lean
feat(Order): synchronize IsAntichain API with IsChain (#29834) …
Added IsChain.image_relEmbeddingView on Github →