Theorem IsChain.preimage_relEmbedding

Modification history

2025-10-02 19:28
Mathlib/Order/Preorder/Chain.lean
feat(Order): synchronize IsAntichain API with IsChain (#29834) …
Added IsChain.preimage_relEmbeddingView on Github →