Commit 2026-04-02 18:21 f5da5c59

View on Github →

chore: reorder arguments in DirSupClosed (#37277) We move d ⊆ s out of an unrelated binder.

Estimated changes

modified theorem dirSupClosed_Iic