Commit 2023-04-05 13:57 af527ccf

View on Github →

feat: port Order.Category.Lat (#3268)

Estimated changes

added def LatCat.Iso.mk
added theorem LatCat.coe_of
added def LatCat.dual
added def LatCat.dualEquiv
added def LatCat.of
added def LatCat