Commit 2026-03-02 19:44 94c81ed7

View on Github →

chore: Make {Preorder,PartialOrder}.mk abbrevs (#35995)

Estimated changes

deleted def PartialOrder.mk'
deleted def Preorder.mk'