Mathlib Changelog
v4
Changelog
About
Github
Def
FinPartOrd.Iso.mk
Modification history
2023-05-26 15:03
Mathlib/Order/Category/FinPartOrd.lean
feat: port Order.Category.FinPartOrd (#3831)
Added
FinPartOrd.Iso.mk
View on Github →