Commit 2024-11-02 03:08 a77bf54d

View on Github →

chore(Order/UpperLower/Basic): move definitions to Defs file (#17678) This way I can avoid the large imports warning in #17632.

Estimated changes

added def IsLowerSet
added def IsUpperSet
added structure LowerSet
added structure UpperSet
deleted def IsLowerSet
deleted def IsUpperSet
deleted structure LowerSet
deleted structure UpperSet