Commit 2023-09-10 08:25 7d308680

View on Github →

fix: don't use False as a bool, use false (#7059)

Estimated changes

modified theorem tsum_bool