Commit 2023-06-26 16:40 9ed8bbf1

View on Github →

fix: use the same atom state for abel_nf subterms (#5403) As reported on Zulip.

Estimated changes