Commit 2026-03-20 05:22 4d809c28

View on Github →

feat(Order/RelClasses): IsTrans is redundant in IsWellOrder (#36618)

Estimated changes

modified theorem Subsingleton.isWellOrder