Skip to content

Take into account CNonCanonical constraints in splitTyConApp_upTo#20

Merged
sheaf merged 1 commit intomainfrom
T19
Oct 9, 2025
Merged

Take into account CNonCanonical constraints in splitTyConApp_upTo#20
sheaf merged 1 commit intomainfrom
T19

Commits

Commits on Oct 9, 2025