Def PartOrdEmb.Hom.Simps.hom

Modification history

2025-10-29 09:29
Mathlib/Order/Category/PartOrdEmb.lean
feat(Order/Category): partial orders with order embeddings as morphisms (#30693) …
Added PartOrdEmb.Hom.Simps.homView on Github →