Skip to content

Fix #446: reject a substitution that drops the symbol's assumptions - #461

Open
petlenz wants to merge 1 commit into
mainfrom
fix-446-substitution-assumptions
Open

Fix #446: reject a substitution that drops the symbol's assumptions#461
petlenz wants to merge 1 commit into
mainfrom
fix-446-substitution-assumptions

Commits

Commits on Sep 20, 2026