feat(Order/Category): `PardOrdEmb` has filtered colimits#30696

joelriou wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

joelriou:partial-order-embeddings-colimitsjoelriou/mathlib4:partial-order-embeddings-colimitsCopy head branch name to clipboard