Commit 2023-11-21 16:32 a098d271
View on Github →feat: theorems about power of twos (#8547) These were factored out of #5920 as they seem generally useful.
feat: theorems about power of twos (#8547) These were factored out of #5920 as they seem generally useful.