Commit 2023-04-17 08:52 5e13d725

View on Github →

feat: port Order.Category.DistLatCat (#3458)

Estimated changes

added theorem DistLatCat.coe_of
added def DistLatCat.dual
added def DistLatCat.of
added def DistLatCat