Def PartOrdCat.dual

Modification history