Theorem partOrdEmb_dual_comp_forget_to_pardOrd

Modification history

2026-09-26 18:40
Mathlib/Order/Category/PartOrdEmb.lean
chore: fix misspellings in declaration names (#44049) …
Deleted partOrdEmb_dual_comp_forget_to_pardOrdView on Github →
2025-10-29 09:29
Mathlib/Order/Category/PartOrdEmb.lean
feat(Order/Category): partial orders with order embeddings as morphisms (#30693) …
Added partOrdEmb_dual_comp_forget_to_pardOrdView on Github →